Keyword:Paxos

Papers
Towards an Automatic Proof of Lamport's Paxos Aman Goel and Karem A. Sakallah EasyChair Preprint no. 6510
A Systematic Literature Review of Recent Trends in Replication Technique Albandari Alanazi, Almetwally Mostafa and Abeer Alnuaim EasyChair Preprint no. 2170