Automatic Generation of Fault-Tolerant Distributed Code
by
Alain GIRAULT
INRIA Rhône-Alpes
Grenoble, France
Christophe LAVARENNE
INRIA Rocquencourt
Paris, France
Mihaela SIGHIREANU
LIAFA University of Paris VII
Paris, France
Yves SOREL
INRIA Rocquencourt
Paris, France