Bowen Alpern, Fred B. Schneider
Distributed Computing
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.
Bowen Alpern, Fred B. Schneider
Distributed Computing
Narayanan Shivakumar, Jan Jannink, et al.
Mobile Networks and Applications
Stefano Ceri, Roberta J. Cochrane, et al.
VLDB 2000
Alexander Aiken, Jennifer Widom, et al.
SIGMOD 1992