Lattice properties of congruences for stochastic relations

DOI10.1016/j.apal.2011.12.024zbMath1251.03053OpenAlexW2011718533MaRDI QIDQ424543

Ernst-Erich Doberkat

Publication date: 1 June 2012

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.2011.12.024

zbMATH Keywords

invariant setorderbisimulationcongruenceKripke modelstochastic relation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items

Approximating bisimilarity for Markov processes

Cites Work

• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• Universal coalgebra: A theory of systems
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Identities involving the coefficients of certain Dirichlet series
• The action of $SL(2,\mathbb {Z})$ on the subsets of $\mathbb {Z}^2$
• Borel Structure in Groups and Their Duals
• Terminal Coalgebras for Measure-Polynomial Functors
• New Directions in Descriptive Set Theory
• Stochastic Relations
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item