- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Bracha, Gabriel, and Sam Toueg. Asynchronous consensus and broadcast protocols. Journal of the ACM (JACM) 32.4 (1985): 824-840.
- Extended modules: Nat
- Computation models: Byzantine
- Some properties checked with TLC: correctness, agreement, unforgeability
aba-asyn-byz
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||