Categories of models for concurrency
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 246-267
- https://doi.org/10.1007/3-540-15670-4_12
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On the relationship of CCS and CSPPublished by Springer Nature ,2006
- Power domains and predicate transformers: A topological viewPublished by Springer Nature ,2005
- On the relationship of CCS and petri netsPublished by Springer Nature ,1984
- A new definition of morphism on Petri netsLecture Notes in Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Addresses of all authorsPublished by Springer Nature ,1980
- Communicating sequential processesCommunications of the ACM, 1978
- Categories for fixpoint-semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976