Mercier, Hugues; Braun, Torsten; Felber, Pascal; Kropf, Peter; Kuonen, Pierre (2013). 2013 Doctoral Workshop on Distributed Systems (Technical Report IAM-13-002). Bern: Institut für Informatik und angewandte Mathematik