Pages that link to "Item:Q2272990"
From MaRDI portal
The following pages link to Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990):
Displaying 11 items.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
- A thesis for interaction (Q2055962) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Divide and congruence applied to \(\eta\)-bisimulation (Q2852097) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation (Q3591399) (← links)
- (Q5020941) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
- (Q5119395) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
