ACM SIGACT-SIGOPS SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING'82 - ACM (ACM BALTIMORE, 1982)