Amending contracts for choreographies

Laura Bocchi, Julien Lange, Emilio Tuosto

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	111-129
Number of pages	19
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	59
DOIs	https://doi.org/10.4204/EPTCS.59.10
Publication status	Published - 31 Jul 2011
Event	4th Interaction and Concurrency Experience, ICE 2011 - Reykjavik, Iceland Duration: 9 Jun 2011 → …

Access to Document

@article{6b248f44b2cf4954aeeef7eafe4c9d9d,

title = "Amending contracts for choreographies",

author = "Laura Bocchi and Julien Lange and Emilio Tuosto",

year = "2011",

month = jul,

day = "31",

doi = "10.4204/EPTCS.59.10",

language = "English",

volume = "59",

pages = "111--129",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "4th Interaction and Concurrency Experience, ICE 2011 ; Conference date: 09-06-2011",

}

TY - JOUR

T1 - Amending contracts for choreographies

AU - Bocchi, Laura

AU - Lange, Julien

AU - Tuosto, Emilio

PY - 2011/7/31

Y1 - 2011/7/31

UR - http://www.scopus.com/inward/record.url?scp=84908161401&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.59.10

DO - 10.4204/EPTCS.59.10

M3 - Conference article

AN - SCOPUS:84908161401

SN - 2075-2180

VL - 59

SP - 111

EP - 129

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 4th Interaction and Concurrency Experience, ICE 2011

Y2 - 9 June 2011

ER -