尼西姆·弗朗西兹;C.A.R.霍尔。;威廉·德·罗弗(Willem P.de Roever)。 不确定性、并发性和通信的语义。 (英语) 兹伯利039168017 数学。找到计算。科学。1978年,程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 191-200 (1978). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 MSC公司: 68N25号 操作系统理论 68问题55 计算理论中的语义学 关键词:顺序流程;语义学;非决定论;并发;通信;并发进程 引文:Zbl 0373.00015号 PDF格式BibTeX公司 XML格式