Carlo Montangero, Laura Semini. A Logical View of Choreography. In Paolo Ciancarini, Herbert Wiklicky, editors, Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Volume 4038 of Lecture Notes in Computer Science, pages 179-193, Springer, 2006. [doi]
Abstract is missing.