Proceedings of the fifth annual ACM symposium on Principles of distributed computing - Halpern, Joseph (Association for Computing Machinery, 1986)