Publisher
Springer International Publishing
Reference54 articles.
1. Abramsky, S.: Proofs as processes. Theor. Comput. Sci. 135(1), 5–9 (1994). https://doi.org/10.1016/0304-3975(94)00103-0
2. Balzer, S., Pfenning, F.: Manifest sharing with session types. Proc. ACM Program. Lang. 1(ICFP), 37:1–37:29 (2017). https://doi.org/10.1145/3110281
3. Lecture Notes in Computer Science;S Balzer,2019
4. Barber, A.: Dual intuitionistic linear logic (1996). https://www.lfcs.inf.ed.ac.uk/reports/96/ECS-LFCS-96-347/ECS-LFCS-96-347.pdf
5. Bellin, G., Scott, P.J.: On the $$\pi $$-calculus and linear logic. Theor. Comput. Sci. 135(1), 11–65 (1994). https://doi.org/10.1016/0304-3975(94)00104-9
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14
2. Separating Sessions Smoothly;Logical Methods in Computer Science;2023-07-12
3. Higher-Order Leak and Deadlock Free Locks;Proceedings of the ACM on Programming Languages;2023-01-09
4. Asynchronous Functional Sessions: Cyclic and Concurrent;Electronic Proceedings in Theoretical Computer Science;2022-09-06
5. Multiparty GV: functional multiparty session types with certified deadlock freedom;Proceedings of the ACM on Programming Languages;2022-08-29