Chapter 6 : System models

A system model encodes assumptions about the behavior of nodes, communication links, and timing;

This post is the summary of the book called Understanding Distributed system by Roberto Vitillo.