Author:
Attali Isabelle,Caromel Denis,Lippi Sylvain
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous π-calculus. In Proc. CONCUR’96, volume 1119. LNCS, Springer-Verlag, 1996.
2. I. Attali, D. Caromel, S. Ehmety, and S. Lippi. Semantic-based visualization for parallel object-oriented programming. In Proceedings of OOPSLA’96, volume 31 of ACM Sigplan Notices, San Jose, CA, October 1996. ACM Press.
3. E. Bruneton. Implantation d’un traducteur eiffel//—π-calcul. Rapport de stage deuxième année, Ecole Polytechnique, juillet 1996.
4. Concurrent Object-Oriented Programming. Communications of the ACM, 36 (9), 1993. Special issue.
5. D. Caromel. Service, Asynchrony and Wait-by-necessity. Journal of Object-Oriented Programming, 2(4):12–22, November 1989.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Step Toward Automatic Distribution of Java Programs;Formal Methods for Open Object-Based Distributed Systems IV;2000