scientific article; zbMATH DE number 3614147

zbMath0395.68015MaRDI QIDQ4178461

Susan Owicki, David Gries

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SynchronizationTerminationMutual ExclusionParallel ProgramsAbsence of DeadlockAxiomatic Proof TechniqueHoare's Deductive System for Proving Partial Correctness

Mathematics Subject Classification ID

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

Related Items (8)

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

This page was built for publication: