The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
- 27 October 1989
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 33 (1) , 15-19
- https://doi.org/10.1016/0020-0190(89)90181-6
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the uniqueness of fixed points of endofunctors in a category of complete metric spacesInformation Processing Letters, 1988
- 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