Semantics of concurrent systems: A modular fixed-point trace approach
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 353-375
- https://doi.org/10.1007/3-540-15204-0_20
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Design and analysis of highly parallel and distributed systemsPublished by Springer Nature ,1980
- Elements of general net theoryPublished by Springer Nature ,1980
- Communicating sequential processesCommunications of the ACM, 1978
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977