Completeness and Incompleteness of Trace-Based Network Proof Systems.

Jennifer Widom David Gries Fred B. Schneider

Published in: POPL (1987)

Keyphrases

communication technologies
real time
wireless sensor networks
network technologies
digital libraries
management system
distributed systems
peer to peer
intelligent systems
complex systems
retrieval systems
computer networks
link prediction
network services
distributed network