Processes and hyperuniverses
From MaRDI portal
Publication:5096893
DOI10.1007/3-540-58338-6_82zbMath1493.68245OpenAlexW1548548072MaRDI QIDQ5096893
Marco Forti, Furio Honsell, Marina Lenisa
Publication date: 18 August 2022
Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58338-6_82
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Choice principles in hyperuniverses ⋮ 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 ⋮ Universal coalgebra: A theory of systems ⋮ Final semantics for a higher order concurrent language
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Solving reflexive domain equations in a category of complete metric spaces
- Non-well-founded sets modeled as ideal fixed points
- A general construction of hyperuniverses
- A domain equation for bisimulation
- The consistency problem for positive comprehension principles
- A Powerdomain Construction
- Processes as terms: non-well-founded models for bisimulation
- Processes and the denotational semantics of concurrency
This page was built for publication: Processes and hyperuniverses
