Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Arun-Kumar, S., Hennessy, M.: An efficiency preorder for processes. Acta Informatica 29, 737–760 (1992)
2. Barendregt, H.P.: The Lambda Calculus: Syntax, semantics. North-Holland (1984)
3. Lecture Notes in Computer Science;M. Berger,2001
4. Berger, M., Honda, K., Yoshida, N.: Genericity and the pi-calculus. Acta Informatica 42(2-3), 83–141 (2005)
5. Lecture Notes in Computer Science;R. Demangeon,2011
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Eager functions as processes;Theoretical Computer Science;2022-04
2. On Polymorphic Sessions and Functions;ACM Transactions on Programming Languages and Systems;2021-06-30
3. On the relative expressiveness of higher-order session processes;Information and Computation;2019-10
4. Eager Functions as Processes;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. On Polymorphic Sessions and Functions;Programming Languages and Systems;2018