Moderately complex paxos made simple: High-level executable specification of distributed algorithms

YA Liu, S Chand, SD Stoller - … of the 21st International Symposium on …, 2019 - dl.acm.org
This paper describes the application of a high-level language and method in developing
simpler specifications of more complex variants of the Paxos algorithm for distributed …
被引用次数：11 相关文章

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms

YA Liu, S Chand, SD Stoller - arXiv preprint arXiv:1704.00082, 2017 - arxiv.org
This paper describes the application of a high-level language and method in developing
simpler specifications of more complex variants of the Paxos algorithm for distributed …

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms

YA Liu, S Chand, SD Stoller - arXiv e-prints, 2017 - ui.adsabs.harvard.edu
This paper describes the application of a high-level language and method in developing
simpler specifications of more complex variants of the Paxos algorithm for distributed …
[PDF] stonybrook.edu

[PDF][PDF] Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms

YA Liu, S Chand, SD Stoller - cs.stonybrook.edu
This paper describes the application of a high-level language and method in developing
simpler specifications of more complex variants of the Paxos algorithm for distributed …