Lattice properties of congruences for stochastic relations

DOI10.1016/J.APAL.2011.12.024zbMATH Open1251.03053OpenAlexW2011718533MaRDI QIDQ424543FDOQ424543

Authors: 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

Recommendations

• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Congruences for stochastic automata
• A domain-theoretic investigation of posets of sub-\(\sigma\)-algebras (extended abstract)
• The converse of a stochastic relation
• scientific article; zbMATH DE number 1956516

zbMATH Keywords

invariant setcongruenceorderbisimulationKripke modelstochastic relation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Approximating bisimilarity for Markov processes
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Algebra and Coalgebra in Computer Science
• The converse of a stochastic relation
• Semi-pullbacks for stochastic relations over analytic spaces
• Factoring stochastic relations
• Congruences for stochastic automata
• A domain-theoretic investigation of posets of sub-\(\sigma\)-algebras (extended abstract)
• Title not available (Why is that?)

This page was built for publication: Lattice properties of congruences for stochastic relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424543)