Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous π-calculus. In Proc. CONCUR '96, volume 1119 of Lecture Notes in Computer Science. Springer Verlag, 1996.
2. An efficiency preorder for processes;Arun-Kumar;Acta Informatica,1992
3. On the π-calculus and Linear Logic;Bellin;Theoretical Computer Science,1994
4. G. Boudol. Asynchrony and the π-calculus. Technical Report RR-1702, INRIA-Sophia Antipolis, 1992.
5. G. Boudol. Some Chemical Abstract Machines. In Proc. Rex School/Symposium 1993 “A Decade of Concurrency –- Reflexions and Perspectives”, volume 803 of Lecture Notes in Computer Science, pages 92–123. Springer Verlag, 1994.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献