Axiomatising Finite Concurrent Processes
- 1 October 1988
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 17 (5), 997-1017
- https://doi.org/10.1137/0217063
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980