Axiomatic proof techniques for parallel programs
By: Susan Speer Owicki.
Series: Outstanding dissertations in the computer sciences
Publisher: Garland Pub.
Published: 1980
Place of publication: New York
Language: eng
Number of pages: 198
Subjects: Parallel processing (Electronic computers); Computer programs -- Verification.
Notes: Bibliography: p. 196-198.
Originally presented as the author's thesis, Cornell University, 1975.