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 proceedingConference contribution

Published
Original languageEnglish
Title of host publicationConcurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings
Pages225-239
Number of pages15
DOIs
Publication statusPublished - 2012
Event23rd International Conference on Concurrency Theory, CONCUR 2012 - Newcastle upon Tyne, United Kingdom
Duration: 4 Sep 20127 Sep 2012

Publication series

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

Conference

Conference23rd International Conference on Concurrency Theory, CONCUR 2012
Country/TerritoryUnited Kingdom
CityNewcastle upon Tyne
Period4/09/127/09/12
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39128937