ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (1982 Ottawa, Ont.)