Pages that link to "Item:Q3184685"
From MaRDI portal
The following pages link to Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685):
Displaying 5 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)
- A Logic for True Concurrency (Q5501929) (← links)
- Event Identifier Logic (Q5740354) (← links)
