Reliable Distributed Systems, 13th Symposium On. [Place of publication not identified]: IEEE Computer Society Press, 1994.