吉林大学学报(理学版)
吉林大學學報(理學版)
길림대학학보(이학판)
JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION)
2006年
4期
583-588
,共6页
Ambient演算%移动计算%进程演算%并发%通信
Ambient縯算%移動計算%進程縯算%併髮%通信
Ambient연산%이동계산%진정연산%병발%통신
给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、分布和移动代码提供了语言支持.
給齣Ambient縯算的一種內部錶示, 稱為Ambient框架, 併給齣瞭Ambient框架的構造方法和具體轉換函數, 以及基于Ambient框架的執行操作語義. 該框架為異步、分佈和移動代碼提供瞭語言支持.
급출Ambient연산적일충내부표시, 칭위Ambient광가, 병급출료Ambient광가적구조방법화구체전환함수, 이급기우Ambient광가적집행조작어의. 해광가위이보、분포화이동대마제공료어언지지.