publication venue for Newsmonger: a technique to improve the performance of atomic broadcast protocols 2000 Fault-tolerant mutual exclusion algorithms 1990