Bisimulation maps in presheaf categories

DOI10.1016/J.ENTCS.2019.09.002MaRDI QIDQ2133160zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• Observing behaviour categorically
• scientific article; zbMATH DE number 1231607
• Bisimulation from open maps
• scientific article; zbMATH DE number 1059325
• scientific article; zbMATH DE number 1086714

Cites work

• scientific article; zbMATH DE number 4011914 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1059325 (Why is no real title available?)
• scientific article; zbMATH DE number 6816930 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 7314988 (Why is no real title available?)
• A completeness theorem for open maps
• Bisimulation from open maps
• Branching time and abstraction in bisimulation semantics
• Fair equivalence relations
• Fair simulation
• Hybrid process algebra
• Innocent strategies as presheaves and interactive equivalences for CCS
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• On path-based coalgebras and weak notions of bisimulation
• Open maps in concrete categories and branching bisimulation for prefix orders
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Profunctors, open maps and bisimulation
• Relational presheaves, change of base and weak simulation
• Sheaf semantics for concurrent interacting objects
• Sheaves in geometry and logic: a first introduction to topos theory
• Syntax and consistent equation semantics of hybrid Chi
• The power of the future perfect in program logics
• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Universal coalgebra: A theory of systems
• What are the fundamental structures of concurrency? We still don't know!
• What's in a game?

Cited in

(2)

• Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
• Weighted and branching bisimilarities from generalized open maps

This page was built for publication: Bisimulation maps in presheaf categories

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