Extending binary Byzantine agreement to multivalued Byzantine agreement
- 作者Russell Turpin; Brian A. Coan
- 卷第18卷
- 期第2期
- 印刷ISSN0020-0190
- 文件大小321.32KB
- 发表时间1984
- DOI10.1016/0020-0190(84)90027-9
- 页码73-76
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - A Refinement Based Framework for Computing Loop BehaviorMili, Ali; Mili, Ali; Mili, Ali; Mili, Ali · 2007
A relational division operator: the conjugate kernelJules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili · 1993
Heuristics for constructing while loopsFatma Mili; Ali Mili · 1992
On the mathematics of sequential decompositionsJules Desharnais; Ali Mili; Fatma Mili · 1993
Semantic distance between specificationsRym Mili; Jules Desharnais; Marc Frappier; Ali Mili · 2000
Recoverability preservation: a measure of last resortAli Mili; Frederick Sheldon; Fatma Mili; Jules Desharnais · 2005
Relational heuristics for the design of deterministic programsAli Mili; Jules Desharnais; Fatma Mili · 1987
On the use of executable assertions in structured programsAli Mili; Sihem Guemara; Ali Jaoua; Paul Torrés · 1987