The comparison of a cpo-based semantics with a cms-based semantics for CSP
Open Access
- 1 February 1994
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 124 (1) , 1-40
- https://doi.org/10.1016/0304-3975(94)90052-3
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Towards a foundation for semantics in complete metric spacesInformation and Computation, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Denotational semantics of a parallel object-oriented languageInformation and Computation, 1989
- The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spacesInformation Processing Letters, 1989
- On the uniqueness of fixed points of endofunctors in a category of complete metric spacesInformation Processing Letters, 1988
- Metric semantics for concurrencyBIT Numerical Mathematics, 1988
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Fixed point theorems and semantics: a folk taleInformation Processing Letters, 1982
- Communicating sequential processesCommunications of the ACM, 1978
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955