Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms.

Yanhong A. Liu Saksham Chand Scott D. Stoller

Published in: PPDP (2019)

Keyphrases

high level
low level
learning algorithm
databases
computational complexity
computationally intensive
distributed systems
computationally expensive
data structure
higher level
data mining algorithms
provably correct
b tree
distributed environment
object oriented
sensor networks
decision making