Automatic synthesis of deadlock free connectors for COM/DCOM applications

Paola Inverardi, Massimo Tivoli. Automatic synthesis of deadlock free connectors for COM/DCOM applications. In ESEC / SIGSOFT FSE. pages 121-131, 2001. [doi]

Abstract

Abstract is missing.