Pages that link to "Item:Q3617720"
From MaRDI portal
The following pages link to Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720):
Displaying 6 items.
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- Event Identifier Logic (Q5740354) (← links)
