The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator

DOI10.1016/j.jal.2006.05.001zbMath1137.03014OpenAlexW2033781462MaRDI QIDQ2372202

Ernst-Erich Doberkat

Publication date: 25 July 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2006.05.001

zbMATH Keywords

stochastic systemslogic in computer scienceuniversal algebra in computer sciencemodels and methods for concurrent and distributed computing

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Approximating Markov processes through filtration ⋮ Unnamed Item ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of probabilistic programs
• Bisimulation through probabilistic testing
• Topology and descriptive set theory
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Universal coalgebra: A theory of systems
• Bisimulation from open maps
• Factoring stochastic relations
• Bisimulation for labelled Markov processes
• Model checking stochastic automata
• CONCUR 2004 - Concurrency Theory
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Semi-pullbacks for stochastic relations over analytic spaces
• Decidability of DPDA equivalence

This page was built for publication: The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator