Stochastic Relations
From MaRDI portal
Publication:5309952
DOI10.1201/9781584889427zbMath1137.60002OpenAlexW1566287143MaRDI QIDQ5309952
Publication date: 5 October 2007
Full work available at URL: https://doi.org/10.1201/9781584889427
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Markov processes (60J99) Research exposition (monographs, survey articles) pertaining to probability theory (60-02)
Related Items (28)
A metrized duality theorem for Markov processes ⋮ A stochastic interpretation of propositional dynamic logic: expressivity ⋮ When are stochastic transition systems tameable? ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ Algebraic properties of stochastic effectivity functions ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Lattice properties of congruences for stochastic relations ⋮ Commutative Semantics for Probabilistic Programming ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Modular Markovian Logic ⋮ Bisimilarity of Distributionally Equivalent Markov Transition Systems ⋮ Random Measurable Selections ⋮ Bisimilarity is not Borel ⋮ Weak bisimulations for the Giry monad ⋮ Kleisli morphisms and randomized congruences for the Giry monad ⋮ Coalgebraic tools for randomness-conserving protocols ⋮ Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations ⋮ Probabilistic NetKAT ⋮ Categories of Timed Stochastic Relations ⋮ Equational Coalgebraic Logic ⋮ Approximating Markov Processes by Averaging ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ Domain semantics of possibility computations ⋮ Lévy processes on smooth manifolds with a connection ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ Structural operational semantics for continuous state stochastic transition systems
This page was built for publication: Stochastic Relations
