Definitions

• Processes:
  • Can store their current states
  • Can resume excecution from stored states
• Channels:
  • Bidirectional
  • In-order
  • Guaranteed delivery.
• Global States:
  • A set of process and channel states.
  • We can do calculations on these
• Stable Properties:
  • A property is stable if once it is true it must remain true.
  • Formally, a property y of a global state S is said to be stable if y(S) implies y(S') for all states S' reachable from S.