Stochastic coalgebraic logic: bisimilarity and behavioral equivalence

DOI10.1016/j.apal.2008.01.010zbMath1147.03014OpenAlexW2061119042MaRDI QIDQ947269

Ernst-Erich Doberkat

Publication date: 29 September 2008

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

Full work available at URL: https://doi.org/10.1016/j.apal.2008.01.010

zbMATH Keywords

modal logiccoalgebraspredicate liftingsbehavioral equivalenceHennessy-Milner theoremstochastic relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items

Coalgebraic logic over general measurable spaces – a survey, Bisimilarity of Distributionally Equivalent Markov Transition Systems, Coalgebraic logic for stochastic right coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the final sequence of a finitary set functor
• Expressive logics for coalgebras via terminal sequence induction
• Stone coalgebras
• Eilenberg--Moore algebras for stochastic relations
• Kleisli morphisms and randomized congruences for the Giry monad
• Coalgebraic logic for stochastic right coalgebras
• Bisimulation through probabilistic testing
• Coalgebraic logic
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Universal coalgebra: A theory of systems
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Bisimulation for labelled Markov processes
• Stochastic Relations
• CONCUR 2004 - Concurrency Theory
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Algebra and Coalgebra in Computer Science
• Semi-pullbacks for stochastic relations over analytic spaces
• Foundations of Software Science and Computational Structures