Author:
Mostrous Dimitris,Yoshida Nobuko
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference53 articles.
1. Computational interpretations of linear logic;Abramsky;Theor. Comput. Sci.,1993
2. Subtyping recursive types;Amadio;ACM Trans. Program. Lang. Syst.,1993
3. Global progress in dynamically interleaved multiparty sessions;Bettini,2008
4. Multipoint session types for a distributed calculus;Bonelli,2008
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A logical account of subtyping for session types;Journal of Logical and Algebraic Methods in Programming;2024-10
2. On the Preciseness of Subtyping in Session Types: 10 Years Later;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
4. A Logical Account of Subtyping for Session Types;Electronic Proceedings in Theoretical Computer Science;2023-04-13
5. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-12-16