Bisimulation maps in presheaf categories

DOI10.1016/j.entcs.2019.09.002OpenAlexW2996315762WikidataQ113317361 ScholiaQ113317361MaRDI QIDQ2133160

Harsh Beohar, Sebastian Küpper

Publication date: 29 April 2022

Full work available at URL: https://arxiv.org/abs/1909.01796

zbMATH Keywords

presheavesbranching bisimulation\(\forall\)-fair bisimulation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Weighted and branching bisimilarities from generalized open maps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• A completeness theorem for open maps
• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Universal coalgebra: A theory of systems
• Hybrid process algebra
• Fair simulation
• Bisimulation from open maps
• Relational presheaves, change of base and weak simulation
• Syntax and consistent equation semantics of hybrid Chi
• Open maps in concrete categories and branching bisimulation for prefix orders
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• The power of the future perfect in program logics
• Sheaf semantics for concurrent interacting objects
• Branching time and abstraction in bisimulation semantics
• What's in a game?
• What are the Fundamental Structures of Concurrency?
• Verification: Theory and Practice
• Profunctors, open maps and bisimulation