1990-05-16
Comparative concurrency semantics and refinement of actions
Publication
Publication
Additional Metadata | |
---|---|
J.W. Klop (Jan Willem) , J.A. Bergstra (Jan) | |
Vrije Universiteit Amsterdam | |
Organisation | Specification and Analysis of Embedded Systems |
van Glabbeek, R. (1990, May 16). Comparative concurrency semantics and refinement of actions. |