@inproceedings{MejiasHoegqvistRoy2008, author = {Mej{\´i}as, B. and H{\"o}gqvist, Mikael and Roy, P.}, title = {Visualizing Transactional Algorithms for DHTs}, booktitle = {IEEE P2P Conference}, address = {Aachen, Germany}, year = {2008}, language = {en} } @inproceedings{RoyHaridiReinefeldetal.2008, author = {Roy, P. and Haridi, Seif and Reinefeld, Alexander and Stefani, J. B. and Yap, R. and Coupaye, T.}, title = {Self Management for Large-Scale Distributed Systems}, booktitle = {Formal Methods for Components and Objects 2007 (FMCO 2007)}, publisher = {Springer LNCS}, year = {2008}, language = {en} }