Publisher
Springer International Publishing
Reference29 articles.
1. Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous
$$\pi $$
-calculus. Theoret. Comput. Sci. 195, 291–324 (1998)
2. Ariola, Z., Felleisen, M., Maraist, J., Odersky, M., Wadler, P.: A call-by-need
$$\lambda $$
-calculus. In: Proceedings of the 22th POPL. ACM Press (1995)
3. Boreale, M., Sangiorgi, D.: Some congruence properties for
$$\pi $$
-calculus bisimilarities. Theoret. Comput. Sci. 198, 159–176 (1998)
4. Lecture Notes in Computer Science;G Boudol,1994
5. Lecture Notes in Computer Science;S Brock,1995