计算机应用研究2020，Vol.37Issue(3)：648-654,7.DOI:10.19734/j.issn.1001-3695.2018.10.0722
移动界程演算理论及应用研究综述
Overview on theory and applications of ambients calculus
摘要
关键词
移动界程演算/标号互模拟/上下文观察等价/界程逻辑/模型检测分类
信息技术与安全科学引用本文复制引用
林荣德,江华,黄建新..移动界程演算理论及应用研究综述[J].计算机应用研究,2020,37(3):648-654,7.基金项目
国家自然科学基金资助项目(11871259,61379021,11701258) （11871259,61379021,11701258）
福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751) （2016J01304,2015J01269,2019J01751）
福建省高校创新团队发展计划资助项目 （）
泉州市高层次人才团队项目(2017ZT012) （2017ZT012）
