- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Mostéfaoui, Achour, et al. Evaluating the condition-based approach to solve consensus. IEEE, 2003.
- Extended modules: Int, FinSet
- Computation models: Byzantine
- Some properties checked with TLC: validity, agreement, termination
cbc_max
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||