Formal behavioural specification of concurrent systems without globality assumptions
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 115-151
- https://doi.org/10.1007/3-540-10699-5_95
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Adequate path expressionsPublished by Springer Nature ,2005
- Design and analysis of highly parallel and distributed systemsPublished by Springer Nature ,1980
- Adequacy of path programsPublished by Springer Nature ,1980
- Specification of highly parallel and distributed resource managementPublished by Springer Nature ,1980
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Abstract specification of resource accessing disciplinesACM SIGPLAN Notices, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978
- Path ExpressionsPublished by Defense Technical Information Center (DTIC) ,1975
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975