斯蒂芬·布鲁克斯 并发分离逻辑的语义。 (英语) Zbl 1111.68021号 西奥。计算。科学。 375,编号1-3,227-270(2007).MSC公司:68甲19 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{S.Brookes},Theor。计算。科学。375,编号1--3,227--270(2007;Zbl 1111.68021) 全文: DOI程序
莱斯利·兰波特 独立进程的同步。 (英语) Zbl 0332.68024号 学报信息。 7, 15-34 (1976).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Acta Inf.7,15--34(1976;Zbl 0332.68024) 全文: DOI程序