scientific article; zbMATH DE number 3614147

zbMATH Open0395.68015MaRDI QIDQ4178461FDOQ4178461

Authors: Susan Owicki, David Gries 

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

SynchronizationTerminationMutual ExclusionAbsence of DeadlockAxiomatic Proof TechniqueHoare's Deductive System for Proving Partial CorrectnessParallel Programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (9)

• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• Owicki-Gries Reasoning for Weak Memory Models
• The formal development of a parallel program performing LU-decomposition
• The existence of refinement mappings
• Balancing expressiveness in formal approaches to concurrency
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• An axiomatic proof technique for parallel programs
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• Specifying and reasoning about shared-variable concurrency

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4178461)