Pages that link to "Item:Q2272990"

The following pages link to Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990):

Displayed 7 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)
• (Q5020941) ‎ (← links)
• Divide and congruence III: Stability & divergence (Q5111628) ‎ (← links)
• (Q5119395) ‎ (← links)
• Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) ‎ (← links)