文章基本信息
- 标题：Formal Verification of Ring-based Leader Election Protocol Using Predicate Diagrams
- 本地全文：下载
- 作者：Cecilia E. Nugraheni
- 期刊名称：International Journal of Computer Science and Network Security
- 印刷版ISSN：1738-7906
- 出版年度：2009
- 卷号：9
- 期号：8
- 出版社：International Journal of Computer Science and Network Security
- 关键词：Leader election protocol; distributed systems; verification; TLA* TLA+; predicate diagrams*
