1. 8
    PRaft: Building Provably Safe Distributed Systems using Model Checking ☶ pdf formalmethods people.eecs.berkeley.edu
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Implementing the Raft consensus algorithm in the P programming language.