Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus. - Koji Hasebe; Naofumi Nishita; Kazuhiko Kato (IC2E, 2014)