Exploiting Synchrony in Replicated State Machines.

Zhou Fang Mulong Luo Mani B. Srivastava Rajesh K. Gupta

Published in: CLOUD (2017)

Keyphrases

state machines
state machine
fault tolerant
petri net
recurrent networks
sequence diagrams
finite state machines
artificial intelligence
low level
model checking