Synchronization trees
- 31 December 1984
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 34 (1-2) , 33-82
- https://doi.org/10.1016/0304-3975(84)90112-9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- On the relationship of CCS and CSPPublished by Springer Nature ,2006
- A term model for CCSPublished by Springer Nature ,2005
- Petri nets, event structures and domainsPublished by Springer Nature ,2005
- A structural approach to operational semanticsThe Journal of Logic and Algebraic Programming, 2004
- A Theory of Communicating Processes with Value PassingInformation and Computation, 1993
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Study of the Projection OperationPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- COSY ? a system specification language based on paths and processesActa Informatica, 1979