Probabilistic bisimulation as a congruence

DOI10.1145/1462179.1462181zbMATH1351.68183OpenAlexW2071882940MaRDI QIDQ2946567FDOQ2946567

Authors Ruggero Lanotte, Simone Tini

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1462179.1462181

zbMATH Keywords

congruencebisimulationprobabilistic process algebratransition rule format

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

• Probabilistic bisimulation
• Branching bisimulation congruence for probabilistic systems
• Branching bisimulation congruence for probabilistic systems
• Bisimulation and cocongruence for probabilistic systems
• scientific article; zbMATH DE number 1754605
• Probabilistic Bisimulation: Naturally on Distributions
• Probabilistic bisimulation and simulation algorithms by abstract interpretation
• Exploring probabilistic bisimulations. I
• scientific article; zbMATH DE number 2186294
• scientific article; zbMATH DE number 1759621

Cited in

(22)

• Back to the format: a survey on SOS for probabilistic processes
• Notes on generative probabilistic bisimulation
• scientific article; zbMATH DE number 2186294 (Why is no real title available?)
• A general SOS theory for the specification of probabilistic transition systems
• Probabilistic Bisimulation: Naturally on Distributions
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• scientific article; zbMATH DE number 1754605 (Why is no real title available?)
• Additive models of probabilistic processes
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Probabilistic barbed congruence
• Probabilistic divide \& congruence: branching bisimilarity
• Branching bisimulation congruence for probabilistic systems
• SOS specifications for uniformly continuous operators
• Compositionality of approximate bisimulation for probabilistic systems
• Foundations of Software Science and Computational Structures
• Reactive, generative, and stratified models of probabilistic processes
• SOS-based modal decomposition on nondeterministic probabilistic processes
• Probabilistic transition system specification: congruence and full abstraction of bisimulation
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
• Non Expansive ε-Bisimulations
• GSOS for probabilistic transition systems (extended abstract)
• SOS rule formats for convex and abstract probabilistic bisimulations

This page was built for publication: Probabilistic bisimulation as a congruence

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