×
苏珊·奥维基;莱斯利·兰波特

证明并发程序的活性属性。 （英语） Zbl 0483.68013号

ACM事务处理。程序。语言系统。 4, 455-495 (1982)。
页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面
扫描Zbl 0483.68013

引用于74文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68N25号 操作系统理论

关键词：

并行编程;程序验证;程序设计语言的语义;时序逻辑;公平;正确性证明;多处理;同步
PDF格式BibTeX公司 XML格式引用
\textit{S.Owicki}和\textit{L.Lamport}，ACM Trans。程序。语言系统。4455-495（1982年；Zbl 0483.68013）
全文： 内政部