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
92 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A generic type system for higher-order Ψ-calculi;Information and Computation;2024-10
2. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines;Logical Methods in Computer Science;2024-07-03
4. Mixed choice in session types;Information and Computation;2024-06
5. Encodability Criteria for Quantum Based Systems;Logical Methods in Computer Science;2024-04-30