Keywords value-passing systems;mobile systems;process algebra;model checking;value-passing CCS;mobile ambient;state explosion;

• 传值系统;移动计算;进程代数;模型检测;传值CCS;移动界程;状态爆炸;