Synthesising choreographies from local session types

Julien Lange; Emilio Tuosto

doi:10.1007/978-3-642-32940-1_17

Synthesising choreographies from local session types

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings
Pages	225-239
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-32940-1_17
Publication status	Published - 2012
Event	23rd International Conference on Concurrency Theory, CONCUR 2012 - Newcastle upon Tyne, United Kingdom Duration: 4 Sept 2012 → 7 Sept 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7454 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Conference on Concurrency Theory, CONCUR 2012
Country/Territory	United Kingdom
City	Newcastle upon Tyne
Period	4/09/12 → 7/09/12

Access to Document

10.1007/978-3-642-32940-1_17

Cite this

Lange, J., & Tuosto, E. (2012). Synthesising choreographies from local session types. In Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings (pp. 225-239). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7454 LNCS). https://doi.org/10.1007/978-3-642-32940-1_17

@inproceedings{fa49373e4ec94a278eb014426986b3f4,

title = "Synthesising choreographies from local session types",

author = "Julien Lange and Emilio Tuosto",

year = "2012",

doi = "10.1007/978-3-642-32940-1_17",

language = "English",

isbn = "9783642329395",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "225--239",

booktitle = "Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings",

note = "23rd International Conference on Concurrency Theory, CONCUR 2012 ; Conference date: 04-09-2012 Through 07-09-2012",

}

Lange, J & Tuosto, E 2012, Synthesising choreographies from local session types. in Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7454 LNCS, pp. 225-239, 23rd International Conference on Concurrency Theory, CONCUR 2012, Newcastle upon Tyne, United Kingdom, 4/09/12. https://doi.org/10.1007/978-3-642-32940-1_17

Synthesising choreographies from local session types. / Lange, Julien; Tuosto, Emilio.
Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. 2012. p. 225-239 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7454 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Synthesising choreographies from local session types

AU - Lange, Julien

AU - Tuosto, Emilio

PY - 2012

Y1 - 2012

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

U2 - 10.1007/978-3-642-32940-1_17

DO - 10.1007/978-3-642-32940-1_17

M3 - Conference contribution

AN - SCOPUS:84866690167

SN - 9783642329395

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 225

EP - 239

BT - Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings

T2 - 23rd International Conference on Concurrency Theory, CONCUR 2012

Y2 - 4 September 2012 through 7 September 2012

ER -

Synthesising choreographies from local session types

Publication series

Conference

Access to Document

Other files and links

Cite this