Markus Hannebauer. How to Model and Verify Concurrent Algorithms for Distributed CSPs. In Rina Dechter, editor, Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Volume 1894 of Lecture Notes in Computer Science, pages 510-514, Springer, 2000. [doi]
Abstract is missing.