Publications

Trace-Based Network Proof Systems: Expressiveness and Completeness

• • Jennifer Widom
  • David Gries
  • et al.
• 1992
• ACM Transactions on Programming Languages and Systems (TOPLAS)