Synchronous systems were defined in Chapter 5. Synchronous send and receive primitives were also introduced in Chapter 1. Synchronous executions were defined formally in Definition 13.
These concepts are closely related. Explain carefully the differences and relationships between:
(i) a synchronous execution,
(ii) an (asynchronous) execution that uses synchronous communication, and
(iii) a synchronous system.