Domain equations for probabilistic processes
From MaRDI portal
Publication:2709785
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
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