Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur Mukund Raghothaman Christos Stergiou Stavros Tripakis Abhishek Udupa

Published in: CAV (2) (2015)

Keyphrases

distributed systems
distributed environment
symmetry detection
lightweight
cooperative
peer to peer
database replication
multi party
distributed data
semi automatic
distributed computing
distributed database systems
fault tolerant
application level
communication protocol
distributed network
real time