Probabilistic barbed congruence

DOI10.1016/J.ENTCS.2007.07.011MaRDI QIDQ2870293zbMATH OpenOpenAlexFDO

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

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)

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.

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231682 (Why is no real title available?)
• scientific article; zbMATH DE number 1754605 (Why is no real title available?)
• 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)