Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)
Finding the correctness proof of a concurrent program
Unable to display preview. Download preview PDF.
- Owicki, Susan and Gries, David, "Verifying Properties of Parellel Programs: An Axiomatic Approach". Comm.ACM 19, 5 (May 1976), pp.279–285.Google Scholar
© Springer-Verlag Berlin Heidelberg 1979