Proceedings of the fifth annual ACM symposium on Principles of distributed computing - Halpern, Joseph (ACM Conferences, 1986)