Title: Reliable Distributed Systems (Srds 2000)