移动Agent计算理论和形式化方法研讨.pdfVIP

计算机研究与发展 ISSN 1000．1239|CN11，1777|TP of Researchand JournalComputer Development 移动Agent计算理论和形式化方法研究 杨 博1’2 黄 晶1’2 刘大有1’2 1(吉林大学计算机科学与技术学院长春130012) 2(吉林大学符号计算与知识工程国家教育部重点实验室长春 130012) (ybo@jlu．edu．cn) and ontheTheoriesFormalizedMethodsofMobile Study AgentComputing Yang Liu 1301一，HuangJin91，-，andDayoul，2 Scienceand 1(CollegeofComputer Technology，JilinUniversity，Cha