Author:
Nestmann Uwe,Pierce Benjamin C.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference64 articles.
1. On bisimulations for the asynchronous π-calculus;Amadio;Theoret. Comput. Sci.,1998
2. An efficiency preorder for processes;Arun-Kumar;Acta Inform.,1992
3. From a concurrent λ-calculus to the π-calculus;Amadio,1995
4. On the reduction of CHOCS bisimulation to π-calculus bisimulation;Amadio,1993
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. On Polymorphic Sessions and Functions;ACM Transactions on Programming Languages and Systems;2021-06-30
3. The C-calculus: A model for confidential name passing;Journal of Logical and Algebraic Methods in Programming;2021-02
4. Replacement freeness: A criterion for separating process calculi;Journal of Logical and Algebraic Methods in Programming;2020-11
5. PSI-CALCULI REVISITED: CONNECTIVITY AND COMPOSITIONALITY;LOG METH COMPUT SCI;2020