Convenient category of processes and simulations I: Modulo strong bisimilarity

DOI10.1007/3-540-60164-3_17MaRDI QIDQ5057463zbMATH OpenOpenAlexFDO

Authors Dusko Pavlovic

Publication date 16 December 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60164-3_17

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Strong bisimilarity of simple process algebras: Complexity lower bounds
• Computable processes and bisimulation equivalence
• Deriving bisimulation congruences: a 2-categorical approach
• Bisimulational categoricity
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• scientific article; zbMATH DE number 1305004
• scientific article; zbMATH DE number 2086665
• Processes as terms: non-well-founded models for bisimulation
• Bisimulation for higher-order process calculi
• scientific article; zbMATH DE number 2059571

Cites work

• A final coalgebra theorem
• Algebra of communicating processes with abstraction
• Bisimulation of automata
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 19498 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 860039 (Why is no real title available?)
• scientific article; zbMATH DE number 877751 (Why is no real title available?)
• Terminal coalgebras in well-founded set theory

Cited in

(10)

• Constructing process categories
• Concrete process categories
• Concise graphs and functional bisimulations
• An Ordered Category of Processes
• Bisimulations and unfolding in P-accessible categorical models
• Semi-pullbacks and bisimulation in categories of Markov processes
• scientific article; zbMATH DE number 749805 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Bicategories of processes

This page was built for publication: Convenient category of processes and simulations I: Modulo strong bisimilarity

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