Axiomatic Proof Techniques for Parallel Programs

  title={Axiomatic Proof Techniques for Parallel Programs},
  author={Susan S. Owicki},
  booktitle={Outstanding Dissertations in the Computer Sciences},
  • Susan S. Owicki
  • Published 1975 in
    Outstanding Dissertations in the Computer…
Highly Cited
This paper has 128 citations. REVIEW CITATIONS


Citations per Year

129 Citations

Semantic Scholar estimates that this publication has 129 citations based on the available data.

See our FAQ for additional information.