Seol mar théacs é seo: Fault-tolerance implemented by voting protocols in distributed systems /