曼弗雷德·布罗伊;马丁·威辛 关于有限无限通信序列过程的代数规范。 （英语） Zbl 0512.68021号 编程概念的形式化描述II，Proc。IFIP Conf.，Garmisch-Partenkirchen 1982，171-198（1983）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4文件 理学硕士： 68第05页 数据结构 68N25号 操作系统理论 关键词：操作语义学;封闭通信系统的数学语义;虚拟进程 引文：Zbl 0508.0009号 PDF格式BibTeX公司 XML格式