Skip to main content


eCommons@Cornell >

Browsing by Author Alpern, Bowen

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:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 7 of 7
PreviewIssue DateTitleAuthor(s)
Oct-1985Defining LivenessAlpern, Bowen; Schneider, Fred B.
Aug-1982Key Exchange Using Keyless CryptographyAlpern, Bowen; Schneider, Fred B.
Mar-1987Proving Boolean Combinations of Deterministic PropertiesAlpern, Bowen; Schneider, Fred B.
Feb-1986Proving Temporal Properties of Concurrent Programs: A Non-Temporal ApproachAlpern, Bowen
Jan-1986Recognizing Safety and LivenessAlpern, Bowen; Schneider, Fred B.
Oct-1985Safety Without StutteringAlpern, Bowen; Demers, Alan J.; Schneider, Fred B.
Jul-1987Verifying Temporal Properties without using Temporal LogicAlpern, Bowen; Schneider, Fred B.
Showing results 1 to 7 of 7


© 2014 Cornell University Library Contact Us