Zaslat SMS: Synchronization of parallel programs / F. André, D. Herman, and J.-P. Verjus ; translated by J. Howlett.