CCS and petri nets
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 334-357
- https://doi.org/10.1007/3-540-53479-2_14
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Finite Reresentations of CCS and TCSP Programs by Automata and Petri NetsPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Behavior Structures and NetsFundamenta Informaticae, 1988
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Milner’s Communicating Systems and Petri NetsPublished by Springer Nature ,1983
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982