Domain equations for probabilistic processes

DOI10.1017/S0960129599002984zbMath0974.68136OpenAlexW2121225040MaRDI QIDQ2709785

Marta Kwiatkowska, Christel Baier

Publication date: 21 August 2001

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

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

zbMATH Keywords

Milner's calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Constructive logical characterizations of bisimilarity for reactive probabilistic systems ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ A logical duality for underspecified probabilistic systems ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ A behavioural pseudometric for probabilistic transition systems ⋮ Probabilistic mobile ambients ⋮ Bisimulation and Simulation Relations for Markov Chains ⋮ Probabilistic Barbed Congruence

This page was built for publication: Domain equations for probabilistic processes