scientific article; zbMATH DE number 3614147

MaRDI QIDQ4178461zbMATH OpenFDO

Authors Susan Owicki, David Gries

Publication date 1978

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
• 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
• Owicki-Gries reasoning for weak memory models
• 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)