A formal semantics for concurrent systems
- 1 January 1979
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 571-584
- https://doi.org/10.1007/3-540-09510-1_46
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- Some extended semaphore primitivesActa Informatica, 1977
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975