Exploring probabilistic bisimulations. I

DOI10.1007/S00165-012-0242-7MaRDI QIDQ1941884zbMATH OpenOpenAlexFDO

Authors Matthew Hennessy

Publication date 22 March 2013

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-012-0242-7

zbMATH Keywords

bisimulation equivalencecontextual equivalenceequational theorylogical characterisationprobabilistic processes

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

• Bisimulation through probabilistic testing
• Probabilistic Bisimulation: Naturally on Distributions
• Bisimulation for labelled Markov processes
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• Group-by-group probabilistic bisimilarities and their logical characterizations

Cites work

• A Distributed Pi-Calculus
• A hierarchy of equivalences for asynchronous calculi
• Abstraction, Refinement and Proof for Probabilistic Systems
• Characterising probabilistic processes logically (extended abstract)
• Deciding bisimilarity and similarity for probabilistic processes.
• scientific article; zbMATH DE number 1701760 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177532 (Why is no real title available?)
• scientific article; zbMATH DE number 1754605 (Why is no real title available?)
• scientific article; zbMATH DE number 1759621 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Logical Bisimulations and Functional Languages
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
• On reduction-based process semantics
• On the semantics of Markov automata
• Probabilistic logical characterization
• Processes with probabilities, priority and time
• Refinement-oriented probability for CSP
• Testing Finitary Probabilistic Processes
• The -calculus: A theory of mobile processes

Cited in

(41)

• Bisimulation through probabilistic testing
• Additive models of probabilistic processes
• Approximate analyzing of labeled transition systems
• Probabilistic bisimulation for realistic schedulers
• Probabilistic bisimilarity as testing equivalence
• Distribution-based bisimulation for labelled Markov processes
• The quest for minimal quotients for probabilistic and Markov automata
• Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
• On the probabilistic bisimulation spectrum with silent moves
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• Logical characterization of branching metrics for nondeterministic probabilistic transition systems
• An efficient algorithm to determine probabilistic bisimulation
• Group-by-group probabilistic bisimilarities and their logical characterizations
• Probabilistic bisimulation as a congruence
• Logical characterizations of behavioral relations on transition systems of probability distributions
• Probabilistic bisimulation and simulation algorithms by abstract interpretation
• A spectrum of behavioral relations over LTSs on probability distributions
• A Demonic Approach to Information in Probabilistic Systems
• Probabilistic Bisimulation: Naturally on Distributions
• Bisimulations for non-deterministic labelled Markov processes
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• scientific article; zbMATH DE number 1927573 (Why is no real title available?)
• Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
• scientific article; zbMATH DE number 4115933 (Why is no real title available?)
• Characterising probabilistic processes logically (extended abstract)
• Bisimulations for probabilistic and quantum processes (invited paper)
• scientific article; zbMATH DE number 7204940 (Why is no real title available?)
• Distribution bisimilarity via the power of convex algebras
• Probabilistic bisimulation for realistic schedulers
• Differential privacy in probabilistic systems
• Probabilistic bisimulation
• Bisimilarity of distributionally equivalent Markov transition systems
• Non Expansive ε-Bisimulations
• Back to the format: a survey on SOS for probabilistic processes
• Effect semantics for quantum process calculi
• Reconciling quantum theory and process equivalence via physically admissible schedulers
• A cancellation law for probabilistic processes
• Logical characterization of bisimulation metrics
• A definition scheme for quantitative bisimulation
• Raiders of the lost equivalence: probabilistic branching bisimilarity
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes

This page was built for publication: Exploring probabilistic bisimulations. I

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