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

【文件属性】：

文件名称：反应式系统的并发模型(Ⅱ)——程序语言模型* (1998年)

文件大小：367KB

文件格式：PDF

更新时间：2024-05-17 22:17:55

自然科学 论文

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