- Specification's authors: Iulian Moraru
- Original paper: Iulian Moraru, David G. Andersen, and Michael Kaminsky. 2013. There is more consensus in Egalitarian parliaments. In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (SOSP '13). ACM, New York, NY, USA, 358-372.
- Extended modules: Nat, FinSet
- Computation models: crashes
- Some properties checked with TLC: nontriviality, stability, consistency
- TLA+ files