Weighted and branching bisimilarities from generalized open maps

DOI10.1007/978-3-031-30829-1_15arXiv2301.07004OpenAlexW4366503823MaRDI QIDQ6091200

Jérémy Dubut, Thorsten Wißmann

Publication date: 24 November 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

probabilistic bisimilarityopen mapsbranching bisimilarityweak bisimilarityweighted bisimilarity

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Distributed probabilistic and quantum strategies
• Simulations in coalgebra
• Bisimulation through probabilistic testing
• A completeness theorem for open maps
• Universal coalgebra: A theory of systems
• Coalgebra morphisms subsume open maps
• Fibrational bisimulations and quantitative reasoning
• Bisimulation from open maps
• Bisimulation maps in presheaf categories
• Path category for free. Open morphisms from coalgebras with non-deterministic branching
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Open maps in concrete categories and branching bisimulation for prefix orders
• Introduction to Coalgebra
• Structural Operational Semantics for Weighted Transition Systems
• Branching time and abstraction in bisimulation semantics
• Higher dimensional automata revisited
• On the structure of categories of coalgebras

This page was built for publication: Weighted and branching bisimilarities from generalized open maps