Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000