DiskPaxos

swMATH29236MaRDI QIDQ40950FDOQ40950

Author name not available (Why is that?)

Cited In (2)

• Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm
• Proactive Leader Election in Asynchronous Shared Memory Systems

This page was built for software: DiskPaxos