Specifiche per un algoritmo di error recovery distribuito