학술논문
Modeling the RAFT distributed consensus protocol in LNT
Document Type
Conference Paper
Author
Source
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 26 April 2020, 316:15-39)
Subject
Language
English
ISSN
20752180