The authors introduce relaxed congruence formats for stability-respecting branching bisimilarity and prove, via a new oracle-based lifting framework, that these formats also cover weakly divergence-preserving and divergence-preserving variants.
B ASTEN (1996): Branching bisimulation is an equivalence indeed! Information Processing Letters 58(3), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence
The authors introduce relaxed congruence formats for stability-respecting branching bisimilarity and prove, via a new oracle-based lifting framework, that these formats also cover weakly divergence-preserving and divergence-preserving variants.