To search, Click below search items.

 

All Published Papers Search Service

Results for predicate diagrams*; Total 1

Title

Formal Verification of Ring-based Leader Election Protocol using Predicate Diagrams

Author

Cecilia E. Nugraheni
Citation

Vol. 9  No. 8  pp. 1-8

Keywords

Leader election protocol, distributed systems, verification, TLA* TLA+, predicate diagrams*

[1]