反应式系统的并发模型(II):程序语言模型 |
| |
引用本文: | 张广泉.反应式系统的并发模型(II):程序语言模型[J].重庆师范学院学报,1998,15(3):48-52. |
| |
作者姓名: | 张广泉 |
| |
摘 要: | 文[1]提出了反应式系统的一种抽象并发计算模型;本文在此基础上给出反应式系统并发描述的程序语言模型,重点阐述和剖析基于共享变量模型的两种语言-转换图和文本语言,分别给出它们的语法及进程间通讯机制的描述,并建立抽象计算模型结构到这两种语言结构上的映射。
|
关 键 词: | 反应式系统 程序语言模型 转换图 并发模型 |
本文献已被 维普 等数据库收录! |
|