Volume 23, Issue 1 | Distributed Computing

Search all Distributed Computing articles

Volume 23, Issue 1

September 2010

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Refined quorum systems
Rachid Guerraoui
Marko Vukolić
OriginalPaper 13 May 2010 Pages: 1 - 42
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
A spatial equational logic for the applied π-calculus
Étienne Lozes
Jules Villard
OriginalPaper 13 July 2010 Pages: 61 - 83