大卫·帕克 关于公平并行的语义。 (英语) Zbl 0456.68028号 抽象软件规范。冬季附表。,1979年哥本哈根,Lect。注释计算。科学。86, 504-526 (1980). 页码:−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于58文件 MSC公司: 68N25号 操作系统理论 关键词:公平并行的语义 引文:Zbl 0428.00023号 PDF格式BibTeX公司 XML格式