Semi-pullbacks for stochastic relations over analytic spaces
From MaRDI portal
Publication:5697710
DOI10.1017/S096012950500472XzbMath1073.18003OpenAlexW2152954364MaRDI QIDQ5697710
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items
Category-theoretic structure for independence and conditional independence, The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator, Unnamed Item, THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES, Behavioural equivalences for continuous-time Markov processes, Approximating Markov processes through filtration, Using coalgebras and the Giry monad for interpreting game logics -- a tutorial, Coalgebraic logic over general measurable spaces – a survey, Stochastic coalgebraic logic: bisimilarity and behavioral equivalence, Coalgebraic logic for stochastic right coalgebras
