首页> 中文期刊> 《计算机研究与发展》 >一个并发对象演算

一个并发对象演算

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型，开发面向对象程序设计语言的开发受到了很大的制约，为了给并发面向对象程序设计定义一个公共的语义框架，人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。

著录项

来源
《计算机研究与发展》 |1999年第5期|572|共1页
作者
张黔; 李卫华; 傅建明; 金涛;
展开▼
作者单位

国家多煤体软件工程技术研究中心;

国家多煤体软件工程技术研究中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
面向对象; 操作语义; 程序设计; 并发对象演算;

相似文献

中文文献
外文文献
专利

1. 并发面向对象语言的演算语义研究 [J] . 李侃 ,王兵山 ,李舟军 . 国防科技大学学报 . 1996,第001期
2. 一个描述密码学安全协议的演算：Spi演算 [J] . 曾小平 ,孙永强 . 计算机科学 . 1999,第001期
3. 面向对象数据库的一个多级安全性并发控制模型 [J] . 赵稳军 . 计算机工程与应用 . 1998,第003期
4. 一个面向对象的二级并发模型 [J] . 王戟 ,陈火旺 . 软件学报 . 1994,第009期
5. Multiobject C——一个面向对象的并发程序设计语言的设计 [J] . 裴健 ,胡冰烽 ,徐良贤 . 计算机研究与发展 . 1994,第003期
6. 并行对象的Action演算 [C] . 金英 ,金成植 . 2001年全国理论计算机科学学术会议 . 2001
7. 对象并发演算模型及对象语言语义研究 [A] . 吴海涛 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号