【摘 要】
：
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内
【机 构】
：
华侨大学数学科学学院计算科学福建省高校重点实验室,惠州学院计算机科学与工程学院,闽南师范大学粒计算省重点实验室
【基金项目】
：
国家自然科学基金资助项目(11871289,61379021,11701258);福建省自然科学基金资助项目(2016J01304,2015J01269);福建省高校创新团队发展计划资助项目;泉州市高层次人才团队项目(2017ZT012)
论文部分内容阅读
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望。
其他文献
近日．我参加了一个以老作家、老编辑为大多数成员的采风团，专程远赴江苏采风。首站，是江苏省会南京。
奥芬巴赫是法国轻歌剧的奠基人和杰出的代表,《霍夫曼的故事》正是他不懈追求的最辉煌时期的艺术结晶。本文选取的“木偶之歌”是《霍夫曼的故事》第一幕中活泼可爱的木偶奥
成功的本土化战略支撑了＂食品巨人＂在中国市场的不凡业绩。然而每一步战略和每一项并购的背后,财务同样也在扮演着重要的角色。最近一段时间大蒜、绿豆等非核心食品的价格狂飙，
世界装备制造企业由传统的生产制造渐渐向服务制造转变,服务制造模式的发展要求企业加强对服务利润链的管理。通过对装备制造企业特征的分析,提出了适合装备制造企业的服务利
在生产试验条件下,采用控轧控冷工艺试制了L450MS管线钢+No8825奥氏体镍基合金复合板。通过加大道次变形量,提高轧后钢板冷却速率,保证了L450MS管线钢综合性能,其屈服强度达4
整体上市在我国是作为解决分拆上市问题的一种手段,受到诸多企业的欢迎。它解决了分拆上市存在的同业竞争、关联交易、公司治理结构混乱等问题。近些年来,越来越多的集团公司
近年来,我们利用中性树胶封片,使用双盖片法制作寄生虫虫卵玻片标本,制作方法简单,并能够长期保存,使用效果良好,现将其制备方法介绍如下。
加强高职高专医学生创新能力的培养是现代社会发展和医疗教育改革的迫切需求,也是素质教育的核心。本文针对当前高职高专医学生创新意识、创新思维和创新能力不足的现状,提出
城市化是社会发展的必然趋势,也是通往现代化的必由之路。我国的城市化进程呈现出“政府主导型城市化”的基本特征,城市化政策也经历了从小城镇“遍地开花”到构筑城市群发展
教师应当充分将理论和实践加以结合,培养学生的实操能力。本文结合中职学校的教学现状,从教学实际出发,深刻探索中职计算机网络专业课程教学中普遍存在的问题,从教学内容、教