The following pages link to (Q3751025):
Displaying 9 items.
- A completed hierarchy of true concurrent equivalences (Q1029093) (← links)
- Maximality preserving bisimulation (Q1193655) (← links)
- Deciding true concurrency equivalences on safe, finite nets (Q1365677) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- (Q3385652) (← links)
- Normalization of place/transition-systems preserves net behaviour (Q3991291) (← links)
