Login / Signup
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.
Idan Berkovits
Marijana Lazic
Giuliano Losa
Oded Padon
Sharon Shoham
Published in:
CoRR (2019)
Keyphrases
</>
cooperative
orders of magnitude
data sets
significant improvement
peer to peer
benchmark datasets
web services
multi agent
query processing
distributed systems
computationally efficient