La vie est ainsi faite, qu'il faut avoir plusieurs cordes à son arc. C'est pour cela que ce cours aborde la synchronisation entre processus thread d'un point de vue théorique à l'aide de la logique temporelle et de l'outil LTSA, d'un point de vue pratique en Java ou C/C++ (si vous suivez le lien indiqué pour chaque langage, vous verrez son taux de popularité. Nous aurions aussi pu aborder la synchronisation dans les langages C# ou Objective-C remis au gout du jour grâce à l'iPhone/iPad (comparatif complet).