eCommons@Cornell: Browsing eCommons

Browsing by Author Owicki, Susan S.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 5 of 5

Issue Date	Title	Author(s)
Jul-1975	Axiomatic Proof Techniques for Parallel Programs	Owicki, Susan S.
May-1976	A Consistent and Complete Deductive System for the Verification of Parallel Programs	Owicki, Susan S.
Nov-1984	A Model and Temporal Proof System for Networks of Processes	Nguyen, Van Long; Gries, David; Owicki, Susan S.
Jun-1985	A Model and Temporal proof system for Networks of Processes	Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S.
May-1975	Proving Properties of Parallel Programs: An Axiomatic Approach	Owicki, Susan S.; Gries, David

Showing results 1 to 5 of 5