| |
| 2007 | ||
|---|---|---|
| 2 | EE | Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu: A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME 2007: 418-448 |
| 1 | EE | Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera: Model-checking Distributed Components: The Vercors Platform. Electr. Notes Theor. Comput. Sci. 182: 3-16 (2007) |
| 1 | Tomás Barros | [1] |
| 2 | Antonio Cansado | [1] [2] |
| 3 | Denis Caromel | [2] |
| 4 | Ludovic Henrio | [2] |
| 5 | Eric Madelaine | [1] [2] |
| 6 | Emil Salageanu | [2] |