Readies and Failures in the Algebra of Communicating Processes
- 1 December 1988
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 17 (6), 1134-1177
- https://doi.org/10.1137/0217073
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- On the relationship of CCS and CSPPublished by Springer Nature ,2006
- On the consistency of Koomen's Fair Abstraction RuleTheoretical Computer Science, 1987
- A Complete Inference System for Regular Processes with Silent MovesPublished by Elsevier ,1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Synchronous and asynchronous experiments on processesInformation and Control, 1983
- Full abstraction for a simple parallel programming languageLecture Notes in Computer Science, 1979
- Communicating sequential processesCommunications of the ACM, 1978