移动智能体的形式化研究

被引：3

作者：

吴泉源

吴刚

王怀民

机构：

[1] 国防科技大学计算机学院!湖南长沙

来源：

关键词：

移动智能体; 并发模型; 进程代数; π演算;

D O I：

暂无

中图分类号：

TN92 [无线通信];

学科分类号：

080402 ; 080904 ; 0810 ; 081001 ;

摘要：

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望

引用

页码：47 / 51

页数：5