On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
- 8 December 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 29 (6) , 277-281
- https://doi.org/10.1016/0020-0190(88)90224-4
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Connections between two theories of concurrency: Metric spaces and synchronization treesInformation and Control, 1983
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- Data Types as LatticesSIAM Journal on Computing, 1976