Compositional Verification of Asynchronous - Convecs