A Theory of "May" Testing for Asynchronous Languages.

Michele Boreale Rocco De Nicola Rosario Pugliese A Theory of "May" Testing for Asynchronous Languages. 165-179 1999 conf/fossacs/1999 FoSSaCS db/conf/fossacs/fossacs1999.html#BorealeNP99