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
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Prioritise the Best Variation;Logical Methods in Computer Science;2023-12-18
2. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14
3. Separating Sessions Smoothly;Logical Methods in Computer Science;2023-07-12
4. Higher-Order Leak and Deadlock Free Locks;Proceedings of the ACM on Programming Languages;2023-01-09
5. Asynchronous Functional Sessions: Cyclic and Concurrent;Electronic Proceedings in Theoretical Computer Science;2022-09-06