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.
Title resolution pending
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.