Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro. Contract-Driven Implementation of Choreographies. In Christos Kaklamanis, Flemming Nielson, editors, Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Volume 5474 of Lecture Notes in Computer Science, pages 1-18, Springer, 2008. [doi]
Abstract is missing.