Automatic Generation of Fault-Tolerant Distributed Code
by Alain Girault
Mihaela Sighireanu
Yves Sorel
Catalin Dima

Table of contents


BIP