Completeness and Incompleteness of Trace-Based Network Proof Systems.

Jennifer Widom, David Gries, Fred B. Schneider

Browse the full POPL paper archive.