Author:
Castagna Giuseppe,Dezani-Ciancaglini Mariangiola,Giachino Elena,Padovani Luca
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parameterized Algebraic Protocols;Proceedings of the ACM on Programming Languages;2023-06-06
2. A Logical Account of Subtyping for Session Types;Electronic Proceedings in Theoretical Computer Science;2023-04-13
3. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-12-16
4. Ad hoc systems management and specification with distributed Petri nets;Journal of Parallel and Distributed Computing;2022-11
5. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-10-20