Adequacy of path programs
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 291-305
- https://doi.org/10.1007/3-540-10001-6_29
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975
- SynchronisationsgraphenActa Informatica, 1973