Failure-free coordinators synthesis for component-based architectures

Massimo Tivoli, Paola Inverardi. Failure-free coordinators synthesis for component-based architectures. Science of Computer Programming, 71(3):181-212, 2008. [doi]

Abstract

Abstract is missing.