Pages that link to "Item:Q1107518"
From MaRDI portal
The following pages link to A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518):
Displaying 15 items.
- A proof technique for parallel programs (Q796292) (← links)
- Interpreting one concurrent calculus in another (Q915484) (← links)
- A language independent proof of the soundness and completeness of generalized Hoare logic (Q1122978) (← links)
- Axiomatic treatment of processes with shared variables revisited (Q1194205) (← links)
- An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- The Rely-Guarantee method for verifying shared variable concurrent programs (Q1362776) (← links)
- Proving properties of dynamic process networks (Q1383156) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- Hoare logic and auxiliary variables (Q1977126) (← links)
- Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Modular verification for shared-variable concurrent programs (Q6162114) (← links)
