Author:
Herescu Oltea Mihaela,Palamidessi Catuscia
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous π-calculus. TCS, 195(2):291–324, 1998.
2. G. Boudol. Asynchrony and the π-calculus (note). Rapport de Recherche 1702, INRIA, Sophia-Antipolis, 1992.
3. O. M. Herescu and C. Palamidessi. Probabilistic asynchronous π calculus. Tech. Rep., Dept. of Comp. Sci. and Eng., Penn State Univ., 2000. Postscript available at http://cse.psu.edu/~catuscia/papers/prob_impl/report2.ps .
4. Lect Notes Comput Sci;K. Honda,1991
5. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献