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 algebraMarkov transition systemsstochastic relation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to probability theory (60-02) Markov processes (60J99) 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)

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

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)