Title
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs
Catalog Number
102660561
Type
Document
Date
1978-11
Author
Flon, Lawrence; Suzuki, Norihisa
Publisher
Xerox PARC (Palo Alto Research Center)
Category
Technical Report
Collection Title
Company Collection
