Operational Petri net semantics for CCSP
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 196-223
- https://doi.org/10.1007/3-540-18086-9_27
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Process theory: Semantics, specification and verificationPublished by Springer Nature ,1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- On the relationship of CCS and petri netsPublished by Springer Nature ,1984
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- Formal verification of parallel programsCommunications of the ACM, 1976
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975