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]
@inproceedings{BravettiLZ08,
title = {Contract-Driven Implementation of Choreographies},
author = {Mario Bravetti and Ivan Lanese and Gianluigi Zavattaro},
year = {2008},
doi = {10.1007/978-3-642-00945-7_1},
url = {http://dx.doi.org/10.1007/978-3-642-00945-7_1},
tags = {contracts},
researchr = {https://researchr.org/publication/BravettiLZ08},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
editor = {Christos Kaklamanis and Flemming Nielson},
volume = {5474},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00944-0},
}