Bisimilarity is not Borel

DOI10.1017/S0960129515000535zbMath1377.68150arXiv1211.0967OpenAlexW3102717965MaRDI QIDQ5361144

Pedro Sánchez Terraf

Publication date: 27 September 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

descriptive set theorybisimilaritystochastic transition systemmeasurable labelled transition system

Mathematics Subject Classification ID

Descriptive set theory (03E15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, Unnamed Item

Uses Software

• LOTOS

Cites Work

• Unnamed Item
• Unnamed Item
• A logical duality for underspecified probabilistic systems
• Unprovability of the logical characterization of bisimulation
• Kleisli morphisms and randomized congruences for the Giry monad
• Coalgebraic logic for stochastic right coalgebras
• Bisimulation through probabilistic testing
• Tools and techniques in modal logic
• Topology and descriptive set theory
• Universal coalgebra: A theory of systems
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Bisimulations for non-deterministic labelled Markov processes
• Semi-pullbacks and bisimulation in categories of Markov processes
• Stochastic Relations
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Invariant Borel sets