Tradeoffs in implementing primary-backup protocolsNavin BudhirajaKeith Marzullo1995IPDPS 1995Conference paper