###
DOI:
Journal of Software:1996.7(4):244-251

一个面向对象的实时分布式语言的指称语义
左志宏,龚天富
(成都电子科技大学计算机系,成都,610054)
DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE
Zuo Zhihong,Gong Tianfu
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2640   Download 2706
    Revised:January 29, 1995
> 中文摘要: 本文给出了一个面向对象的实时分布式语言的指称语义,在不同层次L给出了语句、对象和程序的清晰描述.提出了实时状态的概念.借助于它,在指称语义的框架内,简洁地刻画了语言的实时特性.
中文关键词: 对象  实时  分布式  并行  指称语义  
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

左志宏,龚天富.一个面向对象的实时分布式语言的指称语义.软件学报,1996,7(4):244-251

Zuo Zhihong,Gong Tianfu.DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE.Journal of Software,1996,7(4):244-251