首页> 中文期刊> 《计算机应用与软件》 >基于进程代数EACSR-VP的通信模型的实现

基于进程代数EACSR-VP的通信模型的实现

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

介绍了进程代数EACSR-VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论.

著录项

来源
《计算机应用与软件》 |2005年第9期|87-8891|共3页
作者
张冠华; 张连华; 白英彩;
展开▼
作者单位

上海交通大学计算机科学与工程系;

上海;

200030;

上海交通大学计算机科学与工程系;

上海;

200030;

上海交通大学计算机科学与工程系;

上海;

200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
进程代数; 形式化方法; 并发系统; 通信;

相似文献

中文文献
外文文献
专利

1. 基于进程代数的DSS模型系统建模与实现 [J] . 孙晶 ,赵会群 . 管理科学学报 . 2003,第002期
2. 基于EM9000工控板高性能双串口通信模型设计与实现 [J] . 刘刚 . 现代计算机（专业版） . 2020,第003期
3. 构建跨平台的通信模型及其基于RCS库的实现方法 [J] . 廉梦佳 ,刘荫忠 ,王俊霖 . 计算机系统应用 . 2017,第002期
4. 一种基于网络实时安全通信模型的设计与实现 [J] . 焦娇 ,柳先辉 ,赵卫东 . 电脑知识与技术 . 2013,第034期
5. 基于SAML的PEP与PDP通信模型设计与实现 [J] . 李云鹏 ,李景峰 . 计算机工程与应用 . 2013,第016期
6. 基于CORBA的多机器人通信模型设计与实现 [C] . 张镇 ,曹其新 ,张蕾 . 2007年中国智能自动化会议 . 2007
7. 基于进程代数的多路访问协议模型研究与实现 [A] . 付兴尊 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号