Linear time, branching time and partial order in logics and models for concurrency - De Bakker J W Ed.; De Roever W P Ed. (Berlin Springer-verlag, 1989)
Keywords: Computer programming