Exploring probabilistic bisimulations. I

DOI10.1007/S00165-012-0242-7zbMATH Open1259.68153OpenAlexW1995469594MaRDI QIDQ1941884FDOQ1941884

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

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

zbMATH Keywords

contextual equivalenceequational theoryprobabilistic processesbisimulation equivalencelogical characterisation

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Distributed Pi-Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deciding bisimilarity and similarity for probabilistic processes.
• Abstraction, Refinement and Proof for Probabilistic Systems
• The \(\pi\)-calculus: A theory of mobile processes
• On reduction-based process semantics
• Refinement-oriented probability for CSP
• Processes with probabilities, priority and time
• Testing Finitary Probabilistic Processes
• Title not available (Why is that?)
• Probabilistic logical characterization
• A hierarchy of equivalences for asynchronous calculi
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
• On the semantics of Markov automata
• Logical Bisimulations and Functional Languages
• Characterising probabilistic processes logically (extended abstract)
• Title not available (Why is that?)

Cited In (36)

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

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)