We present several theorems and their proofs which enable using synchronous testing techniques such as input output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test-cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2011 Springer-Verlag.