DiskPaxos

MaRDI QIDQ40950swMATHFDO

Official website https://www.isa-afp.org/entries/DiskPaxos.html

Cited in

(3)

• TkWinHOL
• Proactive Leader Election in Asynchronous Shared Memory Systems
• Applying data refinement for monadic programs to Hopcroft's algorithm

This page was built for software: DiskPaxos