An extended expansion theorem
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A2CCS: atomic actions for CCSTheoretical Computer Science, 1990
- The equational theory of pomsetsTheoretical Computer Science, 1988
- Concurrency and atomicityTheoretical Computer Science, 1988
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981