Automatic Generation of Fault-Tolerant Distributed Code
by Alain Girault
Christophe Lavarenne
Mihaela Sighireanu
Yves Sorel

Table of contents


BIP