Martin Hutle, André Schiper. Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults. In The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings. pages 92-101, IEEE Computer Society, 2007. [doi]
Abstract is missing.