Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Author Widom, Jennifer

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 5 of 5
PreviewIssue DateTitleAuthor(s)
Jul-1986Completeness and Incompleteness of Trace-Based Network Proof SystemsWidom, Jennifer; Gries, David; Schneider, Fred B.
Sep-1987Expressiveness Bounds for Completeness in Trace-Based Network Proof SystemsWidom, Jennifer; Panangaden, Prakash
Jun-1988A Temporal-Logic Based Compositional Proof System for Real-Time Message PassingHooman, Jozef; Widom, Jennifer
Feb-1989Trace-Based Network Proof Systems: Expressiveness and CompletenessWidom, Jennifer; Gries, David; Schneider, Fred B.
May-1987Trace-Based Network Proof Systems: Expressiveness and CompletenessWidom, Jennifer
Showing results 1 to 5 of 5

 

© 2014 Cornell University Library Contact Us