MiniCSP－R语言的操作语义  

OPERATIONAL SEMANTICS OF MINI-CSP R LANGUAGE

作　　者：左志宏[1] 龚天富[1] 

机构地区：[1]电子科技大学计算机系

出　　处：《电子科技大学学报》1994年第6期626-631,共6页Journal of University of Electronic Science and Technology of China

基　　金：电子部预研基金

摘　　要：详细给出了面向对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。The operational semantics of mini CSP-R language is given in detail. Especially,the timed and non- determine choice statement are precisely,described respectivelly.

关 键 词：实时分布式语言 Mini-CSP语言 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]