1 search result for "tag:"keyword:Paxos""

Showing 1 - 1

coq-vlsm

No documentation

Coq formalization of validating labelled state transition and message production systems

category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:consensus keyword:fault tolerance keyword:distributed algorithms keyword:Paxos logpath:VLSM date:2023-12-15

Mihai Calancea Denisa Diaconescu Wojciech Kołowski Elaine Li Brandon Moore et al.

1.3

BSD-3-Clause

Used by 0 other packages

15 Dec 2023