Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abramsky, S., The Lazy Lambda Calculus, in Research Topics in Functional Programming, ed. D. Turner, Addison Wesley, pp65–116, 1989.
2. Astesiano, E. and Reggio, G., SMoLCS-driven concurrent calculi, Lecture Notes in Computer Science, Vol 249, pp 169–201, Springer-Verlag, 1987.
3. Astesiano, E. and Zucca, E., Parametric channels via label expressions in CCS, Journal of Theoretical Computer Science, Vol 33, pp45–64, 1984.
4. Baeten, J.C.M. and Weijland, W.P., Process Algebra, Cambridge University Press 1990.
5. Berry, G. and Boudol, G., The chemical abstract machine, Proc 17th Annual Symposium on Principles of Programming Languages, 1990.
Cited by
164 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear Resources in Isabelle/HOL;Journal of Automated Reasoning;2024-05-18
2. Extensional and Non-extensional Functions as Processes;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Native Type Theory;Electronic Proceedings in Theoretical Computer Science;2022-11-03
4. Encodability and Separation for a Reflective Higher-Order Calculus;Electronic Proceedings in Theoretical Computer Science;2022-09-06
5. A Generic Type System for Higher-Order Ψ-calculi;Electronic Proceedings in Theoretical Computer Science;2022-09-06