Pierre E. Sorel Mariano G. Fernandez Sumit Ghosh A Dynamic Debugger for Asynchronous Distributed Algorithms. 69-76 1994 11 IEEE Software 1 http://www.computer.org:80/software/so1994/s1069abs.htm db/journals/software/software11.html#SorelFG94