Branching Bisimilarity with Explicit Divergence
From MaRDI portal
Publication:3398965
DOI10.3233/FI-2009-109zbMath1183.68404OpenAlexW2103718058MaRDI QIDQ3398965
Nikola Trčka, Bas Luttik, Robert J. van Glabbeek
Publication date: 29 September 2009
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2009-109
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (30)
On the Executability of Interactive Computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the probabilistic bisimulation spectrum with silent moves ⋮ Off-the-shelf automated analysis of liveness properties for just paths ⋮ Characteristic invariants in Hennessy-Milner logic ⋮ Reactive Turing machines ⋮ Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof ⋮ Theory of interaction ⋮ Probabilistic may/must testing: retaining probabilities by restricted schedulers ⋮ Correct and efficient antichain algorithms for refinement checking ⋮ Cartesian difference categories ⋮ Decomposing monolithic processes in a process algebra with multi-actions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence ⋮ To compose, or not to compose, that is the question: an analysis of compositional state space generation ⋮ Folk Theorems on the Correspondence between State-Based and Event-Based Systems ⋮ Unnamed Item ⋮ Reactive Turing Machines ⋮ Counting nondeterministic computations ⋮ A thesis for interaction ⋮ Branching Bisimulation Games ⋮ Unnamed Item ⋮ Divide and congruence III: Stability & divergence ⋮ Next-preserving branching bisimulation
This page was built for publication: Branching Bisimilarity with Explicit Divergence
