首页> 中文期刊>吉林大学学报（理学版） >Ambient演算的框架设计

Ambient演算的框架设计

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、分布和移动代码提供了语言支持.

著录项

来源
《吉林大学学报（理学版）》|2006年第4期|583-588|共6页
作者
张晶; 张丽翠; 金成植;
展开▼
作者单位

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,通信工程学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类编译程序、解释程序;
关键词
Ambient演算; 移动计算; 进程演算; 并发; 通信;
入库时间 2022-08-18 08:00:30

相似文献

中文文献
外文文献
专利

1. Seal演算与Boxed Ambient演算的关系分析 [J] . 郑晓娟 ,金英 ,金成 . 吉林大学学报（信息科学版） . 2005,第004期
2. Ambient演算的一种分层语义 [J] . 吕江花 ,马世龙 . 计算机研究与发展 . 2009,第010期
3. 基于控制流的Mobile Safe Ambients演算的静态分析策略 [J] . 张红 ,刘磊 . 吉林大学学报（理学版） . 2008,第004期
4. 基于时间Ambient演算的业务流程模型验证 [J] . 李津 ,李勇 ,高春呜 . 计算机工程与设计 . 2008,第003期
5. Ambient演算的数据流分析方法及其实现 [J] . 张晶 ,张丽翠 ,金成植 . 计算机科学 . 2006,第008期
6. 細菌覓食演算法與粒子群聚類優化演算法在水稻田影像判釋之研究 [C] . . 2016台湾地理资讯学会暨学术研讨会 . -1
7. 对称π演算和Lambda-π演算的综合-对称λ-π演算 [A] . 王应尽 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号