eCommons@Cornell >
Browsing by Author Owicki, Susan S.
Showing results 1 to 5 of 5
Preview  Issue Date  Title  Author(s)   Jul1975  Axiomatic Proof Techniques for Parallel Programs  Owicki, Susan S. 
 May1976  A Consistent and Complete Deductive System for the Verification of Parallel Programs  Owicki, Susan S. 
 Jun1985  A Model and Temporal proof system for Networks of Processes  Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S. 
 Nov1984  A Model and Temporal Proof System for Networks of Processes  Nguyen, Van Long; Gries, David; Owicki, Susan S. 
 May1975  Proving Properties of Parallel Programs: An Axiomatic Approach  Owicki, Susan S.; Gries, David 
Showing results 1 to 5 of 5
