Title: Theory / Unimportant / CS / Algo / Distributed Lynch

Name: Synchronous model
Definition: Assuming that components take steps simultaneously.
Page: 5
Chapter: 1
Section: 2

Name: Asynchronous model
Definition: Assuming that the separate components take steps in an arbitrary order, at arbitrary relative speeds.
Page: 5
Chapter: 1
Section: 2

Name: The partially synchronous (timing-based) model
Definition: Assuming some restrictions on the relative timing of events, but execution is not completely lock-step as it is in the synchronous model.
Page: 5
Chapter: 1
Section: 2

Question: The simplest distributed model is
Answer: the synchronous model.
Page: 5
Chapter: 1
Section: 2

Question: The hardest distributed model is
Answer: the partially synchronous model.
Page: 5
Chapter: 1
Section: 2

Question: The more realist distributed model is
Answer: the partially synchronous model.
Page: 5
Chapter: 1
Section: 2

Name: An invariant assertion
Definition: A property that is true of all reachable states of a system.
Page: 7
Chapter: 1
Section: 3

Name: A simulation
Definition: A formal relationship between a pair of systems
Page: 7
Chapter: 1
Section: 3