A Dynamic Debugger for Asynchronous Distributed Algorithms. - Pierre E. Sorel; Mariano G. Fernandez; Sumit Ghosh (IEEE Softw., 1994)