[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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.