Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111, 3–57 (1993)
2. Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus. Theoretical Computer Science 195, 291–324 (1998)
3. Barendregt, H.: The lambda calculus: Its syntax and semantics. Studies in Logic and Foundations of Mathematics (1984)
4. Boudol, G.: Asynchrony and the π-calculus. Technical Report RR-1702, INRIA Sophia-Antipolis (1992)
5. Cai, X., Fu, Y.: The λ-calculus in the π-calculus (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Remark on Some $$\pi $$ Variants;Dependable Software Engineering. Theories, Tools, and Applications;2017