1. 2
    Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm (2017) distributed formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

  1.