Publication:4449236
From MaRDI portal
zbMath1041.18006MaRDI QIDQ4449236
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190996.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18B99: Special categories
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
Related Items
Approximating Markov Processes by Averaging, Unprovability of the logical characterization of bisimulation, Eilenberg--Moore algebras for stochastic relations, 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