Author:
Chen Tzu-Chun,Dezani-Ciancaglini Mariangiola,Yoshida Nobuko
Reference38 articles.
1. F. Barbanera and U. de Liguoro. Two notions of sub-behaviour for session-based client/server systems. In PPDP, pages 155--164. ACM, 2010.
2. H. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic, 48(4): 931--940, 1983.
3. J. Blackburn, I. Hernandez, J. Ligatti, and M. Nachtigal. Completely subtyping iso-recursive types. Technical Report CSE-071012, University of South Florida, 2012.
4. M. Carbone, K. Honda, and N. Yoshida. Structured communication-centered programming for web services. ACM Transactions on Programming Languages and Systems, 34(2):8:1--8:78, 2012.
5. L. Cardelli. Amber. In Combinators and functional programming languages, volume 242 of LNCS, pages 21--47. Springer, 1986.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. Asynchronous Subtyping by Trace Relaxation;Lecture Notes in Computer Science;2024
3. Complete Multiparty Session Type Projection with Automata;Computer Aided Verification;2023
4. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-12-16
5. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-10-20