Lattice properties of congruences for stochastic relations
From MaRDI portal
Publication:424543
DOI10.1016/j.apal.2011.12.024zbMath1251.03053OpenAlexW2011718533MaRDI QIDQ424543
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
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
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