1. Refined quorum systems

   • Rachid Guerraoui
   • Marko Vukolić

   OriginalPaper 13 May 2010 Pages: 1 - 42

2. On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms

   • Viacheslav Chernoy
   • Mordechai Shalom
   • Shmuel Zaks

   OriginalPaper 01 May 2010 Pages: 43 - 60

3. A spatial equational logic for the applied π-calculus

   • Étienne Lozes
   • Jules Villard

   OriginalPaper 13 July 2010 Pages: 61 - 83