Synchronisation trees
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 695-711
- https://doi.org/10.1007/bfb0036949
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On the relationship of CCS and CSPPublished by Springer Nature ,2006
- A term model for CCSPublished by Springer Nature ,2005
- A new definition of morphism on Petri netsLecture Notes in Computer Science, 1984
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Communicating Sequential ProcessesPublished by Springer Nature ,1978
- Categories for the Working MathematicianPublished by Springer Nature ,1971