Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference59 articles.
1. On bisimulations for the asynchronous π-calculus;Amadio;Theoretical Computer Science,1998
2. An efficiency preorder for processes;Arun-Kumar;Acta Informatica,1992
3. M. Baldamus, J. Parrow, B. Victor, Spi-calculus translated to pi-calculus preserving may-tests, in: Proceedings of LICS, IEEE Computer Society, 2004, pp. 22–31.
4. M. Baldamus, J. Parrow, B. Victor, A fully abstract encoding of the π-calculus with data terms, in: Proceedings of ICALP, LNCS, vol. 3580, Springer, 2005, pp. 1202–1213.
5. On the expressiveness of internal mobility in name-passing calculi;Boreale;Theoretical Computer Science,1998
Cited by
86 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献