CCS is an (augmented) contact free C/E system
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 144-165
- https://doi.org/10.1007/3-540-18419-8_13
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- Milner’s Communicating Systems and Petri NetsPublished by Springer Nature ,1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980