D.H.皮特。;护罩,M.W。 异步周期系统中的超车。 (英语) Zbl 0958.68067号 正式Asp。计算。 11,第567-590号(1999年). MSC公司: 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 关键词:异步;真正的并发;向量语言 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Pitt}和\textit{M.W.Shields},正式Asp。计算。11,第5号,567--590(1999;Zbl 0958.68067) 全文: 内政部