Probabilistic divide \& congruence: branching bisimilarity
From MaRDI portal
Publication:2007735
DOI10.1016/J.TCS.2019.09.037zbMath1436.68209OpenAlexW2975938706MaRDI QIDQ2007735
Simone Tini, Valentina Castiglioni
Publication date: 22 November 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2019.09.037
modal decompositionSOScongruence formatsnondeterministic probabilistic transition systemsprobabilistic branching bisimulation
Related Items (5)
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Model independent approach to probabilistic models ⋮ Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Raiders of the lost equivalence: probabilistic branching bisimilarity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
- On cool congruence formats for weak bisimulations
- Metrics for labelled Markov processes
- Structural operational semantics for weak bisimulations
- Transition system specifications with negative premises
- Branching bisimulation congruence for probabilistic systems
- SOS formats and meta-theory: 20 years after
- Higher-level synchronising devices in Meije-SCCS
- Bisimulation through probabilistic testing
- A logic for reasoning about time and reliability
- Branching bisimilarity is an equivalence indeed!
- SOS specifications for uniformly continuous operators
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
- Reactive, generative, and stratified models of probabilistic processes
- Rooted branching bisimulation as a congruence
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Quantifying leakage in the presence of unreliable sources of information
- Compositionality of Hennessy-Milner logic by structural operational semantics
- A general SOS theory for the specification of probabilistic transition systems
- Probabilistic NetKAT
- Remarks on Testing Probabilistic Processes
- Probabilistic Barbed Congruence
- Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
- Probabilistic bisimulation as a congruence
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Characterising Testing Preorders for Finite Probabilistic Processes
- Algebraic laws for nondeterminism and concurrency
- Compositionality Through an Operational Semantics of Contexts
- Process Algebra
- Formal verification of parallel programs
- Bisimulation can't be traced
- Three logics for branching bisimulation
- Logical characterization of bisimulation for transition relations over probability distributions with internal actions
- Modal Decomposition on Nondeterministic Probabilistic Processes
- Divide and Congruence II
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- Characterising Probabilistic Processes Logically
- Compositional weak metrics for group key update
- Divide and congruence III: Stability & divergence
- Precongruence formats for decorated trace semantics
- SOS specifications of probabilistic systems by uniformly continuous operators
- Formal verification of timed properties of randomized distributed algorithms
- Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
- Semantics of Probabilistic Processes
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
This page was built for publication: Probabilistic divide \& congruence: branching bisimilarity
