Proceedings of the 9th annual ACM Symposium on Principles of Distributed Computing, held in Portland, Oregon, USA, on July 16-19, 2000. - Association for computing machinery Press, 2000. - ( ACM SIGPLAN Notices ).