The following pages link to (Q3150204):
Displaying 11 items.
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- On the computational consequences of independence in propositional logic (Q2500830) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← 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)
