Leaderless State-Machine Replication: Specification, Properties, Limits.

Tuanir França Rezende Pierre Sutra

Published in: DISC (2020)

Keyphrases

state machine
fault tolerant
state machines
fault tolerance
finite state machines
distributed systems
real time
databases
object oriented
structural properties
search engine
knowledge base
case study
peer to peer
desirable properties
formal language