A Theory of "May" Testing for Asynchronous Languages.

Michele Boreale, Rocco De Nicola, Rosario Pugliese

Browse the full FOSSACS paper archive.