Debugging Distributed Systems with Causal Nets - Ferrari, Gian Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio (Electronic Communications of the EASST, 2009)