Author:
Amadio Roberto M.,Castellani Ilaria,Sangiorgi Davide
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Actors: A Model of Concurrent Computation in Distributed Systems;Agha,1986
2. The chemical abstract machine;Berry;Theoret. Comput. Sci.,1992
3. Some congruence properties for π-calculus bisimilarities;Boreale,1996
4. Asynchrony and the π-calculus;Boudol,1992
5. Model checking mobile processes;Dam,1993
Cited by
137 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using Pi-Calculus Names as Locks;Electronic Proceedings in Theoretical Computer Science;2023-09-14
2. Special Delivery: Programming with Mailbox Types;Proceedings of the ACM on Programming Languages;2023-08-30
3. A Model of Actors and Grey Failures;Lecture Notes in Computer Science;2022
4. Friendly Fire;ACM Transactions on Privacy and Security;2021-08-31
5. On sequentiality and well-bracketing in the π-calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29