An axiomatic proof technique for parallel programs I
The work
| Title | An axiomatic proof technique for parallel programs I |
|---|---|
| Authors | Susan Owicki; David Gries |
| Type | article |
| Year | 1976 |
| Citekey | owicki1976axiomatic |
Where it appeared
| Published in | Acta Informatica |
|---|---|
| Publisher | Springer |
| Volume | 6 |
| Issue | 4 |
| Pages | 319--340 |
Identifiers
| DOI | 10.1007/bf00268134 |
|---|---|
| OpenAlex | W1964727056 |
Access
| Landing page | https://doi.org/10.1007/bf00268134 |
|---|
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@article{owicki1976axiomatic,
title = {An axiomatic proof technique for parallel programs I},
author = {Susan Owicki and David Gries},
year = {1976},
journal = {Acta Informatica},
volume = {6},
number = {4},
pages = {319--340},
publisher = {Springer},
doi = {10.1007/bf00268134},
url = {https://doi.org/10.1007/bf00268134},
}
This record lives at https://refs.drheap.org/owicki1976axiomatic/ and will keep doing so.