Specification-oriented semantics for communicating processes
- 26 December 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- p. 561-572
- https://doi.org/10.1007/bfb0036937
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- Four combinators for concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A calculus of total correctness for communicating processesScience of Computer Programming, 1981
- Scenarios: A model of non-determinate computationLecture Notes in Computer Science, 1981