Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
From MaRDI portal
Publication:947269
DOI10.1016/j.apal.2008.01.010zbMath1147.03014OpenAlexW2061119042MaRDI QIDQ947269
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
modal logiccoalgebraspredicate liftingsbehavioral equivalenceHennessy-Milner theoremstochastic relations
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