Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
From MaRDI portal
Publication:5470704
DOI10.1137/S009753970444346XzbMath1095.68063OpenAlexW1971588557MaRDI QIDQ5470704
Publication date: 1 June 2006
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/s009753970444346x
modal logiccongruencesbisimulationsHennessy-Milner theoremstochastic relationsstochastic Kripke models
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Subalgebras, congruence relations (08A30)
Related Items (15)
Approximating bisimilarity for Markov processes ⋮ The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator ⋮ Eilenberg--Moore algebras for stochastic relations ⋮ When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus ⋮ Algebraic properties of stochastic effectivity functions ⋮ Lattice properties of congruences for stochastic relations ⋮ Approximating Markov processes through filtration ⋮ Unnamed Item ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Bisimilarity of Distributionally Equivalent Markov Transition Systems ⋮ Bisimilarity is not Borel ⋮ Weak bisimulations for the Giry monad ⋮ Kleisli morphisms and randomized congruences for the Giry monad ⋮ Coalgebraic logic for stochastic right coalgebras
This page was built for publication: Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
