Application-Layer Fault-Tolerance Protocols by Vincenzo De Florio