A Tool for the Expression of Failure Detection Protocols.

Vincenzo De Florio, Chris Blondia

Browse the full PDP paper archive.