Synchronization and control of distributed systems and programs - Raynal, Michel (Wiley series in parallel computing, 1990)