Gian Luigi Ferrari Roberto Guanciale Daniele Strollo Emilio Tuosto Debugging Distributed Systems with Causal Nets. 2008 14 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/190/181 db/journals/eceasst/eceasst14.html#FerrariGST08