- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Brasileiro, Francisco, et al. Consensus in one communication step. International Conference on Parallel Computing Technologies. Springer, Berlin, Heidelberg, 2001.
- Extended modules: Int, FinSet
- Computation models: clean crashes
- Some properties checked with TLC: validity, agreement, weak-agreement, termination
c1cs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||