학술논문
Precise Subtyping for Asynchronous Multiparty Sessions
Document Type
Article
Author
Source
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 3 April 2023, 24(2))
Subject
Language
English
ISSN
1557945X
15293785
15293785