Specification-oriented semantics for Communicating Processes
- 1 April 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 23 (1), 9-66
- https://doi.org/10.1007/bf00268075
Abstract
No abstract availableThis publication has 34 references indexed in Scilit:
- Acceptance treesJournal of the ACM, 1985
- An improved failures model for communicating processesLecture Notes in Computer Science, 1985
- Specification-Oriented Programming in TCSPPublished by Springer Nature ,1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Transition systems, infinitary languages and the semantics of uniform concurrencyPublished by Association for Computing Machinery (ACM) ,1985
- Linear time and branching time semantics for recursion with mergeTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Formal Justification of a Proof System for Communicating Sequential ProcessesJournal of the ACM, 1983
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977