Semi-pullbacks for stochastic relations over analytic spaces

DOI10.1017/S096012950500472XMaRDI QIDQ5697710zbMATH OpenOpenAlexFDO

Authors Ernst-Erich Doberkat

Publication date 18 October 2005

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012950500472x

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2038770
• Semi-pullbacks and bisimulation in categories of Markov processes
• Lattice properties of congruences for stochastic relations
• Eilenberg--Moore algebras for stochastic relations
• Algebra and Coalgebra in Computer Science

Cited in

(12)

• Category-theoretic structure for independence and conditional independence
• A classification of bisimilarities for general Markov decision processes
• Approximating Markov processes through filtration
• scientific article; zbMATH DE number 2038770 (Why is no real title available?)
• THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
• Behavioural equivalences for continuous-time Markov processes
• scientific article; zbMATH DE number 7350769 (Why is no real title available?)
• Coalgebraic logic over general measurable spaces -- a survey
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Coalgebraic logic for stochastic right coalgebras
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial

This page was built for publication: Semi-pullbacks for stochastic relations over analytic spaces

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