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
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparing session type systems derived from linear logic;Journal of Logical and Algebraic Methods in Programming;2025-01
2. Separating Sessions Smoothly;Logical Methods in Computer Science;2023-07-12
3. Extensional and Non-extensional Functions as Processes;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. A Subexponential View of Domains in Session Types;Electronic Proceedings in Theoretical Computer Science;2022-04-08
5. Event structures for the reversible early internal π-calculus;Journal of Logical and Algebraic Methods in Programming;2022-01