Separation of synchronous and asynchronous communication via testing

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Separation of synchronous and asynchronous communication via testing. Theoretical Computer Science, 386(3):218-235, 2007. [doi]

Abstract

Abstract is missing.