1.Previous
3.Next

defines valid outcomes of a transaction on replicated data in accordance with the overall ACID (atomicity, consistency, isolation, durability) properties that transactional systems seek to guarantee.
* State machine replication: assumes that the replicated process is a deterministic finite automaton and that atomic broadcast of every event is possible. It

1.Previous
3.Next