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):
Displaying 10 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)
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← 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)
- Divide and congruence applied to \(\eta\)-bisimulation (Q2852097) (← links)
- Notes on generative probabilistic bisimulation (Q2866317) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
