A course on distributed algorithmics (in French - Certainly some lessons in English). Starting in october 2018.
The lessons will be recorded hopefully.
https://www.college-de-france.fr/site/rachid-guerraoui/course-2018-10-26-10h00.htm
I put that here because after all TlaPlus was designed with parallel algorithmics in mind and it will
be a pleasure to use TlaPlus to try the presented algorithms.
--
FL