Ferrari, Gian Luigi, Roberto Guanciale, Daniele Strollo, and Emilio Tuosto. 2009. “Debugging Distributed Systems With Causal Nets”. Electronic Communications of the EASST 14 (January). https://doi.org/10.14279/tuj.eceasst.14.190.