The following pages link to (Q5014795):
Displaying 8 items.
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- (Q2753665) (← links)
- Compositionality Entails Sequentializability (Q3000634) (← links)
- (Q5020941) (← links)
- (Q5119395) (← links)
- (Q5856418) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)