Formal Approaches to Location Management in Mobile Communications. - Juanhua Kang; Qin Li 002; Huibiao Zhu; Wenjuan Wu (ICDCIT, 2010)