scientific article; zbMATH DE number 3614147
From MaRDI portal
zbMath0395.68015MaRDI QIDQ4178461
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
SynchronizationTerminationMutual ExclusionParallel ProgramsAbsence of DeadlockAxiomatic Proof TechniqueHoare's Deductive System for Proving Partial Correctness
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
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
