Domain equations for probabilistic processes

DOI10.1017/S0960129599002984MaRDI QIDQ2709785zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1231591
• scientific article; zbMATH DE number 1231649
• Domain theory, testing and simulation for labelled Markov processes
• scientific article; zbMATH DE number 4179422
• Axioms for probability and nondeterminism

Cited in

(13)

• Probabilistic mobile ambients
• Constructive logical characterizations of bisimilarity for reactive probabilistic systems
• A behavioural pseudometric for probabilistic transition systems
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• A domain equation for bisimulation
• Probabilistic barbed congruence
• Structural operational semantics for continuous state probabilistic processes
• scientific article; zbMATH DE number 1231591 (Why is no real title available?)
• scientific article; zbMATH DE number 1231649 (Why is no real title available?)
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Bisimulation and Simulation Relations for Markov Chains
• A logical duality for underspecified probabilistic systems
• A cancellation law for probabilistic processes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2709785)