Ferrari, G. L., Guanciale, R., Strollo, D., & Tuosto, E. (2009). Debugging Distributed Systems with Causal Nets. Electronic Communications of the EASST, 14. https://doi.org/10.14279/tuj.eceasst.14.190