The following pages link to (Q3150204):
Displayed 8 items.
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- On the computational consequences of independence in propositional logic (Q2500830) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- A Logic for True Concurrency (Q5501929) (← links)