scientific article; zbMATH DE number 2038770

MaRDI QIDQ4449236zbMATH OpenFDO

Authors Ernst-Erich Doberkat

Publication date 8 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190996.htm

zbMATH Keywords

bisimulationHennessy-Milner logiclabelled Markov processessemi-pullbackstochastic relations

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Special categories (18B99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Semi-pullbacks and bisimulation in categories of Markov processes
• Semi-pullbacks for stochastic relations over analytic spaces
• Weak Bisimulations for the Giry Monad (Extended Abstract)
• Bicategories of Markov Processes
• Stochastic Relations

Cited in

(10)

• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
• The converse of a stochastic relation
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Factoring stochastic relations
• Bisimulation and cocongruence for probabilistic systems
• Semi-pullbacks and bisimulation in categories of Markov processes
• Unprovability of the logical characterization of bisimulation
• Semi-pullbacks for stochastic relations over analytic spaces
• Approximating Markov processes by averaging
• Eilenberg--Moore algebras for stochastic relations

This page was built for publication:

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