1 Course ASPD Distributed Algorithms on modelling, verifying and trying to understand distributed algorithms used in main computer systems.

The course Distributed Algorithms ASPD is taught in the Master in Computer Science of the University of Lorraine and in the Master in Computer Engineering of Telecom Nancy. The lectures notes and documents for the students are at the link —large ASPD