Pages that link to "Item:Q1351943"
From MaRDI portal
The following pages link to The complexity of PDL with interleaving (Q1351943):
Displaying 7 items.
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
