Probabilistic bisimulation as a congruence

DOI10.1145/1462179.1462181zbMATH Open1351.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

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
• scientific article; zbMATH DE number 1759621

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)

Cited In (18)

• Probabilistic divide \& congruence: branching bisimilarity
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
• Back to the format: a survey on SOS for probabilistic processes
• SOS specifications for uniformly continuous operators
• Non Expansive ε-Bisimulations
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• Title not available (Why is that?)
• Probabilistic Bisimulation: Naturally on Distributions
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Reactive, generative, and stratified models of probabilistic processes
• Probabilistic transition system specification: congruence and full abstraction of bisimulation
• GSOS for probabilistic transition systems (extended abstract)
• Title not available (Why is that?)
• Additive models of probabilistic processes
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• A general SOS theory for the specification of probabilistic transition systems
• Title not available (Why is that?)

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)