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. |
|