c1cs

• 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