Application-layer fault-tolerance protocols hardcover