Passer au contenu principal
Publication

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