Communication predicates: A high-level abstraction for coping with transient and dynamic faults. (2007)

by M Hutle, A Schiper
Venue:In Dependable Systems and Networks (DSN