Pages that link to "Item:Q1029093"
From MaRDI portal
The following pages link to A completed hierarchy of true concurrent equivalences (Q1029093):
Displaying 6 items.
- Conflict vs causality in event structures (Q1996864) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- (Q3385652) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Event Identifier Logic (Q5740354) (← links)