Abstract FR:

Cette these s'inscrit dans le cadre de la reprise dans les systemes transactionnels exploitant la semantique des operations typees. Le travail a consiste a: etendre les histoires produites par les differents controles de concurrence (exploitant les proprietes de commutativite et de recouvrabilite relative des operations typees) pour tenir compte du rejet apres faute et de la reprise ; classer ces histoires en fonction du degres de concurrence que les protocoles permettent d'obtenir ; proposer, en partant du systeme de reprise aries, des algorithmes de rejet et de reprise adaptes a chaque histoire ; fournir les bases pour integrer, dans le modele des transactions multi-niveaux, les resultats precedents qui concernent le modele des transactions plates