带π演算验证的FMIPv6优化方案

带π演算验证的FMIPv6优化方案

李向丽王晓燕王正斌屈智巍

Optimized scheme about FMIPv6 with π-calculus verification

LI Xiang-li WANG Xiao-yan WANG Zheng-bin QU Zhi-wei

计算机应用 . 2012, (08): 2095 -2102 . DOI: 10.3724/SP.J.1087.2012.02095