真实92 swMATH ID: 3291 软件作者： Nepomnyashij，V。；希洛夫，N。 描述： REAL92：实时并发系统和属性的组合规范语言Real 92是一种新的并发过程组合规范语言，它基于规范和设计语言（SDL）的非确定性方言和计算树逻辑（CTL）的动态版本（SDL和CTL），具有实时性。本文包括Real92的语法和操作语义概述、系统规范示例和并发通信实时进程的属性。 主页： http://www.springerlink.com/content/u85p8405456603g5/fulltext.pdf 关键词： 真实92;规范和设计语言;规范语言 相关软件： 自旋蛋白;IF-2.0型 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 REAL92：一种用于实时并发系统和属性的组合规范语言。 Zbl 0831.68010号Nepomnyashij，V。;希洛夫，N。 1993 5位作者引用 1 Evgeny V.博丹。 1 Vitaly E.Kozura。 1 瓦莱里·A·内波米纳西。 1 Nepomnyashij，V。 1 尼古拉·希洛夫五世。 连载1篇 1 程序mirovanie 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文