[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Distributed algorithms

A course on distributed algorithmics (in French - Certainly some lessons in English). Starting in october 2018. 
The lessons will be recorded hopefully.


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.