Pages that link to "Item:Q1219675"
From MaRDI portal
The following pages link to An axiomatic proof technique for parallel programs (Q1219675):
Displayed 9 items.
- The use of hoare logic in the verification of horizontal microprograms (Q3216113) (← links)
- Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS (Q3510806) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Local optimization of colorings of graphs (Q3780451) (← links)
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ (Q4485121) (← links)
- Reasoning about Recursive Processes in Shared-Variable Concurrency (Q5187824) (← links)
- A Proof System for a PGAS Language (Q5187828) (← links)
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)