- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Tushar Deepak Chandra and Sam Toueg. 1996. Unreliable failure detectors for reliable distributed systems. J. ACM 43, 2 (March 1996), 225-267.
- Extended modules: Int, FinSet
- Computation models: clean crashes
- Some properties checked with TLC: strong completeness, eventual strong accuracy
detector_chan96
Directory actions
More options
Directory actions
More options
detector_chan96
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||