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

axiomatisationbarbed congruenceobservational equivalenceprobabilistic process calculus

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Remarks on testing probabilistic processes

Cited in

(8)

• SOS specifications for uniformly continuous operators
• Probabilistic divide \& congruence: branching bisimilarity
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• On the semantics of Markov automata
• Value-passing CCS with noisy channels
• Probabilistic operational correspondence
• The Kantorovich metric in computer science: a brief survey
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

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)