Optimized scheme about FMIPv6 with π-calculus verification
LI Xiang-li WANG Xiao-yan WANG Zheng-bin QU Zhi-wei
Journal of Computer Applications . 2012, (08): 2095 -2102 .  DOI: 10.3724/SP.J.1087.2012.02095