Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. Milner R, Parrow J, Walker D, et al. A calculus of mobile processes, part i, ii. Inf Comput, 1992, 100: 1–77
2. Cardelli L, Gordon A D. Mobile ambients. Theor Comput Sci, 2000, 240: 177–213
3. Levi F, Sangiorgi D. Mobile safe ambients. ACM Trans Program Lang Syst, 2003, 25: 1–69
4. Boudol G. Asynchrony and the pi-calculus. Technical report INRIA Sophia-Antipolis. 1992
5. Gorla D. Comparing calculi for mobility via their relative expressive power. Technical report Dip. di Informatica, Univ. di Roma “a Sapienza” (Italy). 2008