G. L. Ferrari, R. Guanciale, D. Strollo, and E. Tuosto, “Debugging Distributed Systems with Causal Nets”, eceasst, vol. 14, Jan. 2009.