Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. R. Amadio, An asynchronous model of locality, failure and process mobility; available at http://protis. univ-mrs.fr/amadio/locfaIII.
2. On bisimulations for the asynchronous π-calculus;Amadio,1996
3. Proc. Concur'96;Amadio,1996
4. An efficiency preorder for processes;Arun-Kumar;Acta Inform.,1992
5. A fully abstract semantics for causality in the π-calculus;Boreale,1994
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Separating Sessions Smoothly;Logical Methods in Computer Science;2023-07-12
2. Extensional and Non-extensional Functions as Processes;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. A Subexponential View of Domains in Session Types;Electronic Proceedings in Theoretical Computer Science;2022-04-08
4. Event structures for the reversible early internal π-calculus;Journal of Logical and Algebraic Methods in Programming;2022-01
5. Deadlock Freedom for Asynchronous and Cyclic Process Networks;Electronic Proceedings in Theoretical Computer Science;2021-10-02