Probabilistic barbed congruence

DOI10.1016/J.ENTCS.2007.07.011zbMATH Open1279.68255OpenAlexW2115124728MaRDI QIDQ2870293FDOQ2870293

Authors: Yuxin Deng, Wenjie Du 

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.07.011

Recommendations

• Behavioural equivalences of a probabilistic pi-calculus
• Branching bisimulation congruence for probabilistic systems
• Probabilistic bisimulation as a congruence
• Branching bisimulation congruence for probabilistic systems
• Algebraic theory of probabilistic processes.

zbMATH Keywords

observational equivalenceaxiomatisationbarbed congruenceprobabilistic process calculus

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
• Axiomatizations for probabilistic finite-state behaviors
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Barbed bisimulation
• Bisimulation through probabilistic testing
• Domain equations for probabilistic processes
• Equational axioms for probabilistic bisimilarity
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Remarks on testing probabilistic processes

Cited In (5)

• Probabilistic divide \& congruence: branching bisimilarity
• On the semantics of Markov automata
• SOS specifications for uniformly continuous operators
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Value-passing CCS with noisy channels

This page was built for publication: Probabilistic barbed congruence

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