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 9 items.
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Games and bisimulations for intuitionistic first-order Kripke models (Q2062207) (← 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)
- Sequentiality vs. concurrency in games and logic (Q4461213) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- Event Identifier Logic (Q5740354) (← links)