2013 IEEE 32nd International Symposium on Reliable Distributed Systems