Author:
Bravetti Mario,Carbone Marco,Zavattaro Gianluigi
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference10 articles.
1. Session typing and asynchronous subtyping for the higher-order π-calculus;Mostrous;Inf. Comput.,2015
2. On the preciseness of subtyping in session types;Chen,2014
3. Global principal typing in partially commutative asynchronous sessions;Mostrous,2009
4. Language primitives and type discipline for structured communication-based programming;Honda,1998
5. Multiparty asynchronous session types;Honda;J. ACM,2016
Cited by
32 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. Integrated Timed Architectural Modeling/Execution Language;Lecture Notes in Computer Science;2024
3. Open Compliance in Multiparty Sessions with Partial Typing;2024
4. Asynchronous Subtyping by Trace Relaxation;Lecture Notes in Computer Science;2024
5. Multicompatibility for Multiparty-Session Composition;International Symposium on Principles and Practice of Declarative Programming;2023-10-22