一个并发对象演算 |
| |
作者姓名: | 张黔 李卫华 傅建明 金涛 |
| |
作者单位: | 国家多媒体软件工程技术研究中心,教育部多媒体软件开放研究实验室,武汉大学软件基地 |
| |
基金项目: | 国家“八六三”高技术计划,国家高校博士点学科点专项基金 |
| |
摘 要: | 由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和actor模型为基础进行了研究。
|
关 键 词: | 面向对象 操作语义 程序设计 并发对象演算 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|