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

conference paper

•

2007

Proceedings of the 37th Annual IEEE/IFIP International