Author:
Casal Filipe,Mordido Andreia,Vasconcelos Vasco T.
Funder
Fundação para a Ciência e a Tecnologia
Subject
General Computer Science,Theoretical Computer Science
Reference56 articles.
1. Linear type theory for asynchronous session types;Gay;J. Funct. Program.,2010
2. Language primitives and type discipline for structured communication-based programming;Honda,1998
3. Fundamentals of session types;Vasconcelos;Inf. Comput.,2012
4. Fundamentals of session types;Vasconcelos,2009
5. Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication;Yoshida;Electron. Notes Theor. Comput. Sci.,2007
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Mixed choice in session types;Information and Computation;2024-06
3. Deciding Subtyping for Asynchronous Multiparty Sessions;Lecture Notes in Computer Science;2024
4. Typed Non-determinism in Functional and Concurrent Calculi;Programming Languages and Systems;2023
5. On the Expressiveness of Mixed Choice Sessions;Electronic Proceedings in Theoretical Computer Science;2022-09-06