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 journalArticlepeer-review

Original languageEnglish
Article number6
Pages (from-to)1-46
Number of pages46
JournalLogical Methods in Computer Science
Issue number4
Publication statusPublished - 11 Oct 2012
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 11077482