| 引用本文: | 李侃,王兵山,李舟军.并发面向对象语言的演算语义研究.[J].国防科技大学学报,1996,18(1):86-91.[点击复制] |
| Li Kan,Wang Bingshan,Li Zhoujun.On Calculus Semantics of Concurrent Object-Oriented Language[J].Journal of National University of Defense Technology,1996,18(1):86-91[点击复制] |
|
| |
|
|
| 本文已被：浏览 6033次 下载 5728次 |
| 并发面向对象语言的演算语义研究 |
| 李侃, 王兵山, 李舟军 |
|
(国防科技大学 计算机系 湖南 长沙 410073)
|
| 摘要: |
| 本文对π- 演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Actor 语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。 |
| 关键词: 并发面向对象语言，π-演算，异步通讯 |
| DOI： |
| 投稿日期：1995-11-19 |
| 基金项目:国防科技预研基金和“863”计划资助课题 |
|
| On Calculus Semantics of Concurrent Object-Oriented Language |
| Li Kan, Wang Bingshan, Li Zhoujun |
|
(Department of Computer Science，NUDT，Changsha，410073)
|
| Abstract: |
| In this paper π-calculus is extended in order to support asynchronous communication，then the calculus semantics of a simple Actor language is given. This calculus semantics can express asynchronous communication，the actor's behaviour replacement and some important object-oriented features such as object，class，encapsulation，instance variable，temporary variable etc. |
| Keywords: concurrent object-oriented language,π-calculus,asynchronous communication |
|
|
