The converse of a stochastic relation
From MaRDI portal
Publication:1764800
DOI10.1016/J.JLAP.2004.01.007zbMATH Open1101.68695OpenAlexW1992257606MaRDI QIDQ1764800FDOQ1764800
Authors: Ernst-Erich Doberkat
Publication date: 22 February 2005
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2004.01.007
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- Bisimulation for labelled Markov processes
- Title not available (Why is that?)
- Relational Methods in Computer Science
- Title not available (Why is that?)
- Title not available (Why is that?)
- A final coalgebra theorem
- Semantics of probabilistic programs
- Nuclear and trace ideals in tensored \(^*\)-categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Topology and descriptive set theory
- Title not available (Why is that?)
- Semi-pullbacks and bisimulation in categories of Markov processes
- ER modelling from first relational principles
- Stochastic automata: stability, nondeterminism, and prediction
Cited In (6)
- Lattice properties of congruences for stochastic relations
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
- Algebra and Coalgebra in Computer Science
- Relational and Kleene-Algebraic Methods in Computer Science
- Tracing relations probabilistically
- Title not available (Why is that?)
This page was built for publication: The converse of a stochastic relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1764800)