- Specification's authors: Thanh Hai Tran, Igor Konnov, Josef Widder
- Original paper: Song, Yee Jiun, and Robbert van Renesse. Bosco: One-step byzantine asynchronous consensus. International Symposium on Distributed Computing. Springer, Berlin, Heidelberg, 2008.
- Extended modules: Nat, FinSet
- Computation models: Byzantine
- Some properties checked with TLC: Lemma3, Lemma4, OneStep0, OneStep1
Files
bosco
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||