The following pages link to (Q4178461):
Displaying 9 items.
- The existence of refinement mappings (Q805251) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- The formal development of a parallel program performing LU-decomposition (Q1096311) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Owicki-Gries Reasoning for Weak Memory Models (Q3449485) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
