Processes and hyperuniverses

DOI10.1007/3-540-58338-6_82MaRDI QIDQ5096893zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Final universes of processes
• A universe of processes and some of its guises
• A general construction of hyperuniverses
• The hyperuniverse project and maximality
• Quantified universes and ultraproducts
• Choice principles in hyperuniverses
• scientific article; zbMATH DE number 1107496
• scientific article; zbMATH DE number 860124
• Manyfold universe
• Processes and formalisms for unbounded choice

Cites work

• A domain equation for bisimulation
• A general construction of hyperuniverses
• A Powerdomain Construction
• scientific article; zbMATH DE number 3859115 (Why is no real title available?)
• scientific article; zbMATH DE number 4164821 (Why is no real title available?)
• scientific article; zbMATH DE number 4070881 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• Non-well-founded sets modeled as ideal fixed points
• Processes and the denotational semantics of concurrency
• Processes as terms: non-well-founded models for bisimulation
• Solving reflexive domain equations in a category of complete metric spaces
• The consistency problem for positive comprehension principles

Cited in

(7)

• A characterization of distance between 1-bounded compact ultrametric spaces through a universal space
• Universal coalgebra: A theory of systems
• Choice principles in hyperuniverses
• scientific article; zbMATH DE number 1107496 (Why is no real title available?)
• Final semantics for a higher order concurrent language
• Final universes of processes
• A fixed-point theorem in a category of compact metric spaces

This page was built for publication: Processes and hyperuniverses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096893)