Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. The Refinement of Choreographed Multi-Agent Systems. In Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd, editors, Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Volume 5948 of Lecture Notes in Computer Science, pages 20-34, Springer, 2009. [doi]
Abstract is missing.