Axiomatic proof techniques for parallel programs.
Susan S. Owicki · eCommons (Cornell University) · 1975
Note: pages are out of order in the original files associated with this item ('75-251.pdf' and '75-251.ps'). For ease of use, a file with the correct order was added on Jan 14, 2025 ('75-251_correctedPageOrder.pdf'). No other content or structure changes have been made.