M. Berger, K. Honda, and N. Yoshida. Genericity and the pi-calculus. In Proceedings of 6th International Conference on Foundations of Software Science and Computational Structures, volume 2620 of Lecture Notes in Computer Science, pages 103--119. Springer, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
M. Berger, K. Honda, and N. Yoshida. Genericity and the pi-calculus. In Proceedings of 6th International Conference on Foundations of Software Science and Computational Structures, volume 2620 of Lecture Notes in Computer Science, pages 103--119. Springer, 2003.
Sequence Types for the π-calculus - Maffeis (2004) (Correct)
No context found.
Berger, M., K. Honda and N. Yoshida, Genericity and the pi-calculus, , 2620.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC