DiskPaxos

MaRDI QIDQ40950swMATHFDO

Authors Mauro Jaskelioff, Stephan Merz

Publication date 22 June 2005

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

Cites work

• How to Write a Proof
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(3)

• TkWinHOL
• 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