Bisimulations for non-deterministic labelled Markov processes

DOI10.1017/S0960129511000454zbMath1234.68316arXiv1011.3362MaRDI QIDQ3225737

Pedro Sánchez Terraf, Nicolás Wolovick, Pedro R. D'Argenio

Publication date: 22 March 2012

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

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

zbMATH Keywords

Markov processes; bisimulations; Hennessy-Milner logic; internal non-determinism; non-deterministic labelled Markov processes

Mathematics Subject Classification ID

60J25: Continuous-time Markov processes on general state spaces

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

Unnamed Item, Unnamed Item, Bisimilarity is not Borel, Algebraic properties of stochastic effectivity functions, A stochastic interpretation of game logic, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Using coalgebras and the Giry monad for interpreting game logics -- a tutorial, On the probabilistic bisimulation spectrum with silent moves, Logical characterization of branching metrics for nondeterministic probabilistic transition systems, A general SOS theory for the specification of probabilistic transition systems, A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

Uses Software

• MoDeST

Cites Work

• Unnamed Item
• Bisimulation through probabilistic testing
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• A theory of stochastic systems. II: Process algebra
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems