Marcela Rivera

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Ludovic Henrio, Florian Kammüller, Marcela Rivera
An Asynchronous Distributed Component Model and Its Semantics. FMCO (2008)
Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu
A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME (2007)
Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
Model-checking Distributed Components: The Vercors Platform. Electron. Notes Theor. Comput. Sci. 182 (2007)