Parameterised Multiparty Session Types

P.-M. Deniélou; N. Yoshida; A. Bejleri; R. Hu

doi:10.2168/LMCS-8(4:6)2012

Parameterised Multiparty Session Types

P.-M. Deniélou
, N. Yoshida
, A. Bejleri
, R. Hu

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	6
Pages (from-to)	1-46
Number of pages	46
Journal	Logical Methods in Computer Science
Volume	8
Issue number	4
DOIs	https://doi.org/10.2168/LMCS-8(4:6)2012
Publication status	Published - 11 Oct 2012

Access to Document

10.2168/LMCS-8(4:6)2012

Cite this

@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 = "10.2168/LMCS-8(4:6)2012",

language = "English",

volume = "8",

pages = "1--46",

journal = "Logical Methods in Computer Science",

publisher = "Logical Methods in Computer Science",

number = "4",

}

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 - https://www.scopus.com/pages/publications/84868129327

U2 - 10.2168/LMCS-8(4:6)2012

DO - 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

IS - 4

M1 - 6

ER -

Parameterised Multiparty Session Types

Access to Document

Other files and links

Cite this