The following pages link to Event Identifier Logic (Q5740354):
Displaying 7 items.
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- (Q5089270) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)