One of our ex-master students, Joël Ledelay, has graduated today. His mastersthesis is titled "Verification of distributed locks: a case study". You can find it here. Well done Joël! We wish you best of luck in your future endeavors.