Specification and Verification of Distributed Protocols: Kapritsos @UMich
Raft Consensus Algorithm
Distributed == Relational - by Guyren Howe - FREST Substack
One VM to rule them all | Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Overview — Ray 2.34.0