Huimin Lin. Predicate µ-Calculus for Mobile Ambients. J. Comput. Sci. Technol., 20(1):95-104, 2005. [doi]
@article{Lin05:15,
title = {Predicate µ-Calculus for Mobile Ambients},
author = {Huimin Lin},
year = {2005},
url = {http://www.springerlink.com/index/10.1007/s11390-005-0011-7},
tags = {mobile},
researchr = {https://researchr.org/publication/Lin05%3A15},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {20},
number = {1},
pages = {95-104},
}