Synchronisation et contrôle des systèmes et des programmes répartis — Jean-Michel Helary, Michel Raynal