Author:
Yoshida N.,Berger M.,Honda K.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Termination in Concurrency, Revisited;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Multiparty Asynchronous Session Types;Journal of the ACM;2016-03-30
4. Light logics and higher-order processes;Mathematical Structures in Computer Science;2014-11-17
5. A proof-theoretic view on scheduling in concurrency;Electronic Proceedings in Theoretical Computer Science;2014-09-09