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 5 items.
- A thesis for interaction (Q2055962) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
