Notes on the methodology of CCS and CSP
Open Access
- 15 May 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 177 (2) , 329-349
- https://doi.org/10.1016/s0304-3975(96)00251-4
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Ready-Trace Semantics for Concrete Process Algebra with the Priority OperatorThe Computer Journal, 1987
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966