The following pages link to (Q4187288):
Displaying 14 items.
- A logical view of composition (Q685416) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- The temporal logic of branching time (Q789895) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- The equational theory of pomsets (Q1119012) (← links)
- Refining multiset transformers (Q1127515) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs (Q1311976) (← links)
- Proving properties of dynamic process networks (Q1383156) (← links)
- Propositional dynamic logic for concurrent programs (Q1837178) (← 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)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
