The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
From MaRDI portal
Publication:1123253
DOI10.1016/0020-0190(89)90181-6zbMath0677.18004OpenAlexW1975388920MaRDI QIDQ1123253
Publication date: 1989
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(89)90181-6
concurrencysynchronisationcomplete metric spacescontraction propertysemantics of programming languagesfixed points of endofunctors
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Recursively defined metric spaces without contraction ⋮ A characterization of distance between 1-bounded compact ultrametric spaces through a universal space ⋮ 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
- Unnamed Item
- On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
- 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
This page was built for publication: The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
