Publication

Communication Predicates: A high-level abstraction for coping with transient and dynamic faults