Axiomatic Proof Techniques for Parallel Programs
The work
| Authors | Susan Speer Owicki |
|---|---|
| Type | techreport |
| Year | 1975 |
| Citekey | owicki1975axiomatic |
Where it appeared
| Publisher | Cornell University |
|---|---|
| Series | Cornell University Department of Computer Science Technical Report |
| Number in series | TR 75-251 |
Access
| Link it arrived with | https://hdl.handle.net/1813/6393 |
|---|
Settled
| Abstract | carried over from `abstract_absent` at the 1.0 migration |
|---|
Related
| Distinct from | owicki1976axiomatic The 1975 record is a technical report with no container; the 1976 is the Acta Informatica paper of nearly the same title. That has the shape of a report later published, which would make it a version relation rather than two independent works -- unverified here, and flagged for the same reason as the Butler surveys in routing-attacks. Note also that the Acta paper is titled '... I', and the corpus holds no part II. |
|---|---|
| Distinct from | owicki1976axiomatic |
| Distinct from | owicki1976verifying |
A copy is held
pdf, 3.4 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-10 00:00 UTC |
| Approved by | a person 2026-08-24 07:31 UTC |
Filed under
Cite it as
@techreport{owicki1975axiomatic,
title = {Axiomatic Proof Techniques for Parallel Programs},
author = {Susan Speer Owicki},
year = {1975},
publisher = {Cornell University},
series = {Cornell University Department of Computer Science Technical Report},
}
This record lives at https://refs.drheap.org/owicki1975axiomatic/ and will keep doing so.