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