- Specification's authors: Giuliano Losa
- Original paper: Losa, Giuliano, Sebastiano Peluso, and Binoy Ravindran. Brief announcement: A family of leaderless generalized-consensus algorithms. Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, 2016.
- Extended modules: FinSet, Int, Seq
- Computation models: clean crashes
- Some properties checked with TLC: nontriviality, consistency, stability
- TLA+ files