Stochastic Relations

DOI10.1201/9781584889427MaRDI QIDQ5309952zbMATH OpenOpenAlexFDO

Authors Ernst-Erich Doberkat

Publication date 5 October 2007

Full work available at URL https://doi.org/10.1201/9781584889427

zbMATH Keywords

Eilenberg-Moore algebrastochastic relationMarkov transition systems

Mathematics Subject Classification ID

Markov processes (60J99) Research exposition (monographs, survey articles) pertaining to probability theory (60-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Stochastic coalgebraic logic
• Labelled Markov processes.
• A theory of stochastic systems. I: Stochastic automata
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence

Cited in

(38)

• Lévy processes on smooth manifolds with a connection
• Weak bisimulations for the Giry monad
• A theory for the semantics of stochastic and non-deterministic continuous systems
• Lattice properties of congruences for stochastic relations
• Algebraic properties of stochastic effectivity functions
• scientific article; zbMATH DE number 2038770 (Why is no real title available?)
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• scientific article; zbMATH DE number 4041341 (Why is no real title available?)
• Equational coalgebraic logic
• A metrized duality theorem for Markov processes
• Coalgebraic logic over measurable spaces: behavioral and logical equivalence
• Bisimilarity of distributionally equivalent Markov transition systems
• Modalities in the Stone age: a comparison of coalgebraic logics
• Approximating Markov processes by averaging
• Commutative semantics for probabilistic programming
• Kleisli morphisms and randomized congruences for the Giry monad
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• Probabilistic NetKAT
• The converse of a stochastic relation
• Bisimulation cuts for structuring Markov transition systems
• Structural operational semantics for continuous state stochastic transition systems
• Coalgebraic logic over general measurable spaces -- a survey
• When are stochastic transition systems tameable?
• Stone duality for relations
• Random Measurable Selections
• Categories of timed stochastic relations
• Joint distributions in probabilistic semantics
• Automata and coalgebras in categories of species
• Domain semantics of possibility computations
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Coalgebraic logic for stochastic right coalgebras
• A stochastic interpretation of propositional dynamic logic: expressivity
• Coalgebraic tools for randomness-conserving protocols
• Bisimilarity is not Borel
• Automata and coalgebras in categories of species
• scientific article; zbMATH DE number 1956516 (Why is no real title available?)
• Modular Markovian Logic
• Disintegration and Bayesian inversion via string diagrams

This page was built for publication: Stochastic Relations

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