|
eCommons@Cornell >
Browsing by Author Widom, Jennifer
Showing results 1 to 5 of 5
| Preview | Issue Date | Title | Author(s) | | Jul-1986 | Completeness and Incompleteness of Trace-Based Network Proof Systems | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| Sep-1987 | Expressiveness Bounds for Completeness in Trace-Based Network Proof Systems | Widom, Jennifer; Panangaden, Prakash |
| Jun-1988 | A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing | Hooman, Jozef; Widom, Jennifer |
| May-1987 | Trace-Based Network Proof Systems: Expressiveness and Completeness | Widom, Jennifer |
| Feb-1989 | Trace-Based Network Proof Systems: Expressiveness and Completeness | Widom, Jennifer; Gries, David; Schneider, Fred B. |
Showing results 1 to 5 of 5
|
