Ferrari, G. L.; Guanciale, R.; Strollo, D.; Tuosto, E. Debugging Distributed Systems With Causal Nets. eceasst 2009, 14.