Sm421 rg
Ch12 (continued) Replicated Data Management
Ch12 (continued) Replicated Data Management. Outline Serializability Quorum-based protocol Replicated Servers Dynamic Quorum Changes One-copy serializability.
Model Checking: An introduction & overview