Antonio Cansado Denis Caromel Ludovic Henrio Eric Madelaine Marcela Rivera Emil Salageanu A Specification Language for Distributed Components Implemented in GCM/ProActive. 418-448 2007 CoCoME http://dx.doi.org/10.1007/978-3-540-85289-6_16 conf/dagstuhl/2007cocome db/conf/dagstuhl/cocome2007.html#CansadoCHMRS07