"Automatic synthesis of deadlock free connectors for COM/DCOM applications."

Paola Inverardi, Massimo Tivoli (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics