1997-05-01
Formal verification of a leader election protocol in process algebra
Publication
Publication
Chicago Journal of Theoretical Computer Science , Volume 177 - Issue 2 p. 459- 486
Additional Metadata | |
---|---|
, | |
Chicago Journal of Theoretical Computer Science | |
Fredlund, L., Groote, J. F., & Korver, H. P. (1997). Formal verification of a leader election protocol in process algebra. Chicago Journal of Theoretical Computer Science, 177(2), 459–486. |