Verifying properties of parallel programs: An axiomatic approach

The work

TitleVerifying properties of parallel programs: An axiomatic approach
AuthorsSusan Owicki; David Gries
Typearticle
Year1976
Citekeyowicki1976verifying

Where it appeared

Published inCommunications of the ACM
Volume19
Issue5
Pages279--285

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Communications of the ACM venue

Cite it as

@article{owicki1976verifying,
  title = {Verifying properties of parallel programs: An axiomatic approach},
  author = {Susan Owicki and David Gries},
  year = {1976},
  journal = {Communications of the ACM},
  volume = {19},
  number = {5},
  pages = {279--285},
}

This record lives at https://refs.drheap.org/owicki1976verifying/ and will keep doing so.