Pages that link to "Item:Q4644610"
From MaRDI portal
The following pages link to PDL for structured data: a graph-calculus approach (Q4644610):
Displaying 5 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Probabilistic results for a mobile service scenario (Q3021239) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- On Diagrams and General Model Checkers (Q5878893) (← links)