On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms Viacheslav ChernoyMordechai ShalomShmuel Zaks OriginalPaper 01 May 2010 Pages: 43 - 60
A spatial equational logic for the applied π-calculus Étienne LozesJules Villard OriginalPaper 13 July 2010 Pages: 61 - 83