Pages that link to "Item:Q796292"
From MaRDI portal
The following pages link to A proof technique for parallel programs (Q796292):
Displaying 16 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- An implementation of mutual inclusion (Q1081297) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- Axiomatic treatment of processes with shared variables revisited (Q1194205) (← links)
- A methodology for designing proof rules for fair parallel programs (Q1377299) (← links)
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681) (← links)
- A simple proof technique for priority-scheduled systems (Q1607082) (← links)
- Checking sequential correctness in shared-memory parallel programs (Q2706056) (← links)
- Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507) (← links)
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119) (← links)
- (Q3465202) (← links)
- (Q3685165) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)
