Jennifer Widom
SIGMOD Record
Paper
Trace-Based Network Proof Systems: Expressiveness and Completeness
Abstract
We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We investigate the expressiveness required of any trace logic to encode these extensions. © 1992, ACM. All rights reserved.
Related
Narayanan Shivakumar, Jan Jannink, et al.
Mobile Networks and Applications
Martín Abadi, Bowen Alpern, et al.
Information Processing Letters
Derek Lam, Donald C. Cox, et al.
IEEE Communications Magazine