Advertisement

Finding the correctness proof of a concurrent program

  • Edsger W. Dijkstra
I. The Thinking Programmer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Owicki, Susan and Gries, David, "Verifying Properties of Parellel Programs: An Axiomatic Approach". Comm.ACM 19, 5 (May 1976), pp.279–285.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  1. 1.NuenenThe Netherlands

Personalised recommendations