Meeting deadlines together

Laura Bocchi; Julien Lange; Nobuko Yoshida

doi:10.4230/LIPIcs.CONCUR.2015.283

Meeting deadlines together

Laura Bocchi, Julien Lange, Nobuko Yoshida

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

Original language	English
Title of host publication	26th International Conference on Concurrency Theory, CONCUR 2015
Editors	Luca Aceto, David de Frutos Escrig
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	283-296
Number of pages	14
ISBN (Electronic)	9783939897910
DOIs	https://doi.org/10.4230/LIPIcs.CONCUR.2015.283
Publication status	Published - 26 Aug 2015
Event	26th International Conference on Concurrency Theory, CONCUR 2015 - Madrid, Spain Duration: 1 Sept 2015 → 4 Sept 2015

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	42
ISSN (Print)	1868-8969

Conference

Conference	26th International Conference on Concurrency Theory, CONCUR 2015
Country/Territory	Spain
City	Madrid
Period	1/09/15 → 4/09/15

Keywords

Global specification
Multiparty session types
Timed Automata

Access to Document

10.4230/LIPIcs.CONCUR.2015.283Licence: CC BY

Cite this

Bocchi, L., Lange, J., & Yoshida, N. (2015). Meeting deadlines together. In L. Aceto, & D. de Frutos Escrig (Eds.), 26th International Conference on Concurrency Theory, CONCUR 2015 (pp. 283-296). (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 42). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2015.283

@inproceedings{e92df395d1974956867322d56f3910e3,

title = "Meeting deadlines together",

keywords = "Global specification, Multiparty session types, Timed Automata",

author = "Laura Bocchi and Julien Lange and Nobuko Yoshida",

year = "2015",

month = aug,

day = "26",

doi = "10.4230/LIPIcs.CONCUR.2015.283",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

pages = "283--296",

editor = "Luca Aceto and {de Frutos Escrig}, David",

booktitle = "26th International Conference on Concurrency Theory, CONCUR 2015",

note = "26th International Conference on Concurrency Theory, CONCUR 2015 ; Conference date: 01-09-2015 Through 04-09-2015",

}

Bocchi, L, Lange, J & Yoshida, N 2015, Meeting deadlines together. in L Aceto & D de Frutos Escrig (eds), 26th International Conference on Concurrency Theory, CONCUR 2015. Leibniz International Proceedings in Informatics, LIPIcs, vol. 42, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 283-296, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, 1/09/15. https://doi.org/10.4230/LIPIcs.CONCUR.2015.283

Meeting deadlines together. / Bocchi, Laura; Lange, Julien; Yoshida, Nobuko.
26th International Conference on Concurrency Theory, CONCUR 2015. ed. / Luca Aceto; David de Frutos Escrig. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2015. p. 283-296 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 42).

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

TY - GEN

T1 - Meeting deadlines together

AU - Bocchi, Laura

AU - Lange, Julien

AU - Yoshida, Nobuko

PY - 2015/8/26

Y1 - 2015/8/26

KW - Global specification

KW - Multiparty session types

KW - Timed Automata

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

U2 - 10.4230/LIPIcs.CONCUR.2015.283

DO - 10.4230/LIPIcs.CONCUR.2015.283

M3 - Conference contribution

AN - SCOPUS:84958244176

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 283

EP - 296

BT - 26th International Conference on Concurrency Theory, CONCUR 2015

A2 - Aceto, Luca

A2 - de Frutos Escrig, David

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 26th International Conference on Concurrency Theory, CONCUR 2015

Y2 - 1 September 2015 through 4 September 2015

ER -

Meeting deadlines together

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this