摘要
给出Ambient演算的一种内部表示,称为Ambient框架,并给出了Ambient框架的构造方法和具体转换函数,以及基于Ambient框架的执行操作语义.该框架为异步、分布和移动代码提供了语言支持.
We gave a frame structure of Cardelli and Gordon＇ s Mobile Ambients, a process calculus for modelling mobile agents in wide-area networks. We presented the concept, definition of Ambient calculus the construction method and transformation functions and developed a code running operating semantics based on the frame structure. The frame is in an attempt to provide languages support for asynchronous, distributed, and mobile programming.
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2006年第4期583-588,共6页
Journal of Jilin University:Science Edition
基金
吉林省科技厅项目基金(批准号:20050527)
关键词
Ambient演算
移动计算
进程演算
并发
通信
Ambient calculus
mobile computation
process calculus
concurrency
communication
