Pages that link to "Item:Q1095653"
From MaRDI portal
The following pages link to Communication in concurrent dynamic logic (Q1095653):
Displaying 19 items.
- Bisimilar and logically equivalent programs in PDL (Q281144) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Concurrent program schemes and their logics (Q1094866) (← links)
- Parallel action: Concurrent dynamic logic with independent modalities (Q1207436) (← 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)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- Complexity analysis of propositional concurrent programs using domino tiling (Q3142002) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- A Propositional Dynamic Logic for CCS Programs (Q3511450) (← links)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785) (← links)
- Quantificational modal logic with sequential Kripke semantics (Q3647226) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
