Verifying properties of parallel programs: an axiomatic approach

Owicki, Susan S.; Gries, David

doi:10.1145/360051.360224

Record: found
Abstract: not found
Article: not found

Verifying properties of parallel programs: an axiomatic approach

Author(s): Susan Owicki , David Gries

Publication date (Print): May 1976

Journal: Communications of the ACM

Publisher: Association for Computing Machinery (ACM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Communications of the ACM

Abbreviated Title: Commun. ACM

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 00010782

Publication date (Print): May 1976

Volume: 19

Issue: 5

Pages: 279-285

Article

DOI: 10.1145/360051.360224

SO-VID: 6773cb7a-7e12-4e7a-8a44-1f03611f00b2

History

Data availability:

Verifying properties of parallel programs: an axiomatic approach

Read this article at

Related collections

Digitizing Fabrication

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 4,195

Cited by 54