Choreography synthesis as contract agreement

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

Original language	English
Pages (from-to)	52-67
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	131
DOIs	https://doi.org/10.4204/EPTCS.131.6
Publication status	Published - 15 Oct 2013
Event	6th Interaction and Concurrency Experience, ICE 2013 - Florence, Italy Duration: 6 Jun 2013 → …

Access to Document

@article{69f8a36b0ec844e880dbe88d48e075ab,

title = "Choreography synthesis as contract agreement",

author = "Julien Lange and Alceste Scalas",

year = "2013",

month = oct,

day = "15",

doi = "10.4204/EPTCS.131.6",

language = "English",

volume = "131",

pages = "52--67",

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

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "6th Interaction and Concurrency Experience, ICE 2013 ; Conference date: 06-06-2013",

}

TY - JOUR

T1 - Choreography synthesis as contract agreement

AU - Lange, Julien

AU - Scalas, Alceste

PY - 2013/10/15

Y1 - 2013/10/15

UR - https://www.scopus.com/pages/publications/85069739472

U2 - 10.4204/EPTCS.131.6

DO - 10.4204/EPTCS.131.6

M3 - Conference article

AN - SCOPUS:85069739472

SN - 2075-2180

VL - 131

SP - 52

EP - 67

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 6th Interaction and Concurrency Experience, ICE 2013

Y2 - 6 June 2013

ER -