Pages that link to "Item:Q3511450"
From MaRDI portal
The following pages link to A Propositional Dynamic Logic for CCS Programs (Q3511450):
Displaying 8 items.
- Bisimilar and logically equivalent programs in PDL (Q281144) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Dynamic epistemic logic with communication actions (Q2333668) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← 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)
- A dynamic logic with branching modalities (Q6151608) (← links)
