dblp.uni-trier.dewww.uni-trier.de

Marcela Rivera

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EEAntonio 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
1EETomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera: Model-checking Distributed Components: The Vercors Platform. Electr. Notes Theor. Comput. Sci. 182: 3-16 (2007)

Coauthor Index

1Tomás Barros [1]
2Antonio Cansado [1] [2]
3Denis Caromel [2]
4Ludovic Henrio [2]
5Eric Madelaine [1] [2]
6Emil Salageanu [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)