 | 2008 |
|---|
| 3 |       | Ludovic Henrio,
Florian Kammüller,
Marcela Rivera:
An Asynchronous Distributed Component Model and Its Semantics.
FMCO 2008: 159-179 |
| 2007 |
|---|
| 2 | | 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 | | 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) |
