학술논문
Parameterised multiparty session types
Document Type
Article
Author
Source
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2012, 8(4))
Subject
Language
English
ISSN
18605974