Structured derivations of consensus algorithms for failure detectors (Q2790120)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Structured derivations of consensus algorithms for failure detectors |
scientific article |
Statements
Structured derivations of consensus algorithms for failure detectors (English)
0 references
2 March 2016
0 references
