Replicated and atomic execution#
Deterministic replicas and all-or-nothing transactions.
State-machine replication: same inputs, same order, same state (Lamport 1978, Schneider 1990)
State-machine replication: same inputs, same order, same state (Lamport 1978, Schneider 1990)
