Parameterised Multiparty Session Types

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

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number6
Pages (from-to)1-46
Number of pages46
JournalLogical Methods in Computer Science
Volume8
Issue number4
DOIs
Publication statusPublished - 11 Oct 2012

Cite this