scientific article; zbMATH DE number 2038770
From MaRDI portal
Publication:4449236
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (8)
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator ⋮ Factoring stochastic relations ⋮ Eilenberg--Moore algebras for stochastic relations ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ The converse of a stochastic relation ⋮ Unprovability of the logical characterization of bisimulation ⋮ Bisimulation and cocongruence for probabilistic systems ⋮ Approximating Markov Processes by Averaging
This page was built for publication:
