Csp-programs as nets with individual tokens
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 169-196
- https://doi.org/10.1007/3-540-15204-0_11
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- 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
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- OCCAMACM SIGPLAN Notices, 1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Elements of general net theoryPublished by Springer Nature ,1980
- Communicating sequential processesCommunications of the ACM, 1978