Bisimulation maps in presheaf categories

DOI10.1016/J.ENTCS.2019.09.002OpenAlexW2996315762WikidataQ113317361 ScholiaQ113317361MaRDI QIDQ2133160FDOQ2133160

Authors: Harsh Beohar, Sebastian Küpper 

Publication date: 29 April 2022

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

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

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)

Cites Work

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

Cited In (2)

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

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)