摘要
详细给出了面向对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。
The operational semantics of mini CSP-R language is given in detail. Especially,the timed and non- determine choice statement are precisely,described respectivelly.
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994年第6期626-631,共6页
Journal of University of Electronic Science and Technology of China
基金
电子部预研基金
