| 摘要: |
| 本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性． |
| 关键词: 对象 实时 分布式 并行 指称语义 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE |
|
Zuo Zhihong,Gong Tianfu
|
| Abstract: |
| This paper gives a denotational semantics of an object-oriented distributed real-time language Mini CSP-R.At different layers,the semantics of statement,object and program are given concisely.By introducing real-time state,the real-time property of the language is described briefly in the frame of the denotational semantics. |
| Key words: Object real-time distributed parallel denotational semantics. |
