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 10 items.
- Interpreting one concurrent calculus in another (Q915484) (← 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)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
