Pages that link to "Item:Q3185762"
From MaRDI portal
The following pages link to A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762):
Displayed 4 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Dynamic epistemic logic with communication actions (Q2333668) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)