Towards a foundation for semantics in complete metric spaces
- 1 February 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 90 (2) , 217-243
- https://doi.org/10.1016/0890-5401(91)90005-m
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- On the uniqueness of fixed points of endofunctors in a category of complete metric spacesInformation Processing Letters, 1988
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Connections between two theories of concurrency: Metric spaces and synchronization treesInformation and Control, 1983
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Recursive assertions and parallel programsActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Data Types as LatticesSIAM Journal on Computing, 1976
- Verifying properties of parallel programsCommunications of the ACM, 1976