Kernel Paxos. - Esposito, Emanuele Giuseppe; Coelho, Paulo R.; Pedone, Fernando (2018)