分布式实时语言的类型与特征

详细介绍了分布式实时语言的类型，深入讨论了分布式实时语言不同于传统顺序语言的４个主要特性，即并行性、合作性、实时性和容错性．

MiniCSP－R语言的操作语义

详细给出了面向对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。

DRTSADL可视化建模及其工具的设计与实现

提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。