Title: Reliable Distributed Systems (Srds 2001), 20th IEEE Symposium on