Ilaria Castellani Matthew Hennessy Testing Theories for Asynchronous Languages. 90-101 1998 conf/fsttcs/1998 FSTTCS db/conf/fsttcs/fsttcs98.html#CastellaniH98 http://dx.doi.org/10.1007/b71635