Pages that link to "Item:Q3591399"
From MaRDI portal
The following pages link to Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation (Q3591399):
Displayed 7 items.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Notes on Generative Probabilistic Bisimulation (Q2866317) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)