Bisimulation on Markov Processes over Arbitrary Measurable Spaces

DOI10.1007/978-3-319-06880-0_4zbMath1407.68327OpenAlexW1665257442MaRDI QIDQ5418956

Giovanni Bacci, Radu Mardare, Giorgio Bacci, Kim Guldstrand Larsen

Publication date: 2 June 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-06880-0_4

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Special categories (18B99) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Codensity Lifting of Monads and its Dual

Cites Work

• Unnamed Item
• Unnamed Item
• Bisimulation through probabilistic testing
• Topology-free typology of beliefs
• Approximating labelled Markov processes
• Universal coalgebra: A theory of systems
• Domain theory, testing and simulation for labelled Markov processes
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• The Measurable Space of Stochastic Processes
• Algebra and Coalgebra in Computer Science

This page was built for publication: Bisimulation on Markov Processes over Arbitrary Measurable Spaces