Parameterised Multiparty Session Types. / Deniélou, P.-M.; Yoshida, N.; Bejleri, A.; Hu, R.

In: Logical Methods in Computer Science, Vol. 8, No. 4, 6, 11.10.2012, p. 1-46.

Research output: Contribution to journalArticle

Published

Standard

Parameterised Multiparty Session Types. / Deniélou, P.-M.; Yoshida, N.; Bejleri, A.; Hu, R.

In: Logical Methods in Computer Science, Vol. 8, No. 4, 6, 11.10.2012, p. 1-46.

Research output: Contribution to journalArticle

Harvard

Deniélou, P-M, Yoshida, N, Bejleri, A & Hu, R 2012, 'Parameterised Multiparty Session Types', Logical Methods in Computer Science, vol. 8, no. 4, 6, pp. 1-46. https://doi.org/10.2168/LMCS-8(4:6)2012

APA

Deniélou, P-M., Yoshida, N., Bejleri, A., & Hu, R. (2012). Parameterised Multiparty Session Types. Logical Methods in Computer Science, 8(4), 1-46. [6]. https://doi.org/10.2168/LMCS-8(4:6)2012

Vancouver

Deniélou P-M, Yoshida N, Bejleri A, Hu R. Parameterised Multiparty Session Types. Logical Methods in Computer Science. 2012 Oct 11;8(4):1-46. 6. https://doi.org/10.2168/LMCS-8(4:6)2012

Author

Deniélou, P.-M. ; Yoshida, N. ; Bejleri, A. ; Hu, R. / Parameterised Multiparty Session Types. In: Logical Methods in Computer Science. 2012 ; Vol. 8, No. 4. pp. 1-46.

BibTeX

@article{95598d8680a74f568e4ed28ce05b06b9,
title = "Parameterised Multiparty Session Types",
author = "P.-M. Deni{\'e}lou and N. Yoshida and A. Bejleri and R. Hu",
note = "Long version of the FoSSaCS 2010 paper",
year = "2012",
month = oct,
day = "11",
doi = "http://dx.doi.org/10.2168/LMCS-8(4:6)2012",
language = "English",
volume = "8",
pages = "1--46",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",
number = "4",

}

RIS

TY - JOUR

T1 - Parameterised Multiparty Session Types

AU - Deniélou, P.-M.

AU - Yoshida, N.

AU - Bejleri, A.

AU - Hu, R.

N1 - Long version of the FoSSaCS 2010 paper

PY - 2012/10/11

Y1 - 2012/10/11

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

U2 - http://dx.doi.org/10.2168/LMCS-8(4:6)2012

DO - http://dx.doi.org/10.2168/LMCS-8(4:6)2012

M3 - Article

AN - SCOPUS:84868129327

VL - 8

SP - 1

EP - 46

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 4

M1 - 6

ER -