On the uniqueness of fixed points of endofunctors in a category of complete metric spaces

DOI10.1016/0020-0190(88)90224-4zbMath0664.54017OpenAlexW2020850587MaRDI QIDQ1114959

Mila E. Majster-Cederbaum

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://ub-madoc.bib.uni-mannheim.de/1865/1/1988_01.pdf

zbMATH Keywords

concurrencysynchronisationcomplete metric spacesfixed point equationscontractiveness

Mathematics Subject Classification ID

Complete metric spaces (54E50) Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30)

Related Items

Recursively defined metric spaces without contraction, The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces, Towards a foundation for semantics in complete metric spaces, A fixed-point theorem in a category of compact metric spaces, The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of nondeterminism, concurrency, and communication
• Power domains
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• Connections between two theories of concurrency: Metric spaces and synchronization trees
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• Communicating sequential processes
• Processes and the denotational semantics of concurrency