Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
27 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. Safe Session-Based Concurrency with Shared Linear State;Programming Languages and Systems;2023
4. Eager functions as processes;Theoretical Computer Science;2022-04
5. Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination;Programming Languages and Systems;2021