反应式系统的并发模型(Ⅱ)——程序语言模型

文［１］提出了反应式系统的一种抽象并发计算模型；本文在此基础上给出反应式系统并发描述的程序语言模型，重点阐述和剖析基于共享变量模型的两种语言——转换图和文本语言，分别给出它们的语法及进程间通讯机制的描述，并建立抽象计算模型结构到这两种语言结构上的映射。