Author:
Ravara António,Vasconcelos Vasco T.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems. M.I.T. Press, 1986.
2. Lect Notes Comput Sci;R. Amadio,1997
3. Roberto Amadio, Ilaria Castellani, and Davide Sangiorgi. On bisimulations for the asynchronous π-calculus. Theoretical Computer Science, 195(2):291–324, 1998.
4. Michele Boreale. On the expressiveness of internal mobility in name-passing calculi. Theoretical Computer Science, 195(2):205–226, 1998.
5. Gérard Boudol. Asynchrony and the π-calculus (note). Rapport de Recherche RR-1702, INRIA Sophia-Antipolis, 1992.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献