A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.

Roberto Baldoni Jean-Michel Hélary Sara Tucci Piergiovanni A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. 51-61 2007 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.6 conf/isorc/2007 db/conf/isorc/isorc2007.html#BaldoniHP07