Skip to main content
Publication

Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults