De Nicola, Rocco and Pugliese, Rosario Testing Semantics of Asynchronous Distributed Programs. In: Analysis and Verification of Multiple-Agent Languages (LOMAPS 1996). Lecture Notes in Computer Science, 1192 . Springer, pp. 320-344. ISBN 3-540-62503-8 (1997)