轩尼诗，马修;罗宾·米尔纳 关于观察不确定性和并发性。 （英语） Zbl 0441.68018号 自动化，语言和编程，第七届Colloq.，Noordwijkerhout/荷兰1980，Lect。票据计算。科学。85, 299-309 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 引用于2评论引用于75文件 MSC公司： 68N25号 操作系统理论 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：不确定性;观察者;过程等价;代数定律;并发程序;观测一致 引文：Zbl 0426.00014号;Zbl 0411.68031号 PDF格式BibTeX公司 XML格式