Model-checking Distributed Components: The Vercors Platform. - Tomás Barros; Antonio Cansado; Eric Madelaine; Marcela Rivera (FACS, 2006)

A Specification Language for Distributed Components Implemented in GCM/ProActive. - Antonio Cansado; Denis Caromel; Ludovic Henrio; Eric Madelaine; Marcela Rivera; Emil Salageanu (CoCoME, 2007)

An Asynchronous Distributed Component Model and Its Semantics. - Ludovic Henrio; Florian Kammüller; Marcela Rivera (FMCO, 2008)