克利夫·琼斯。;伊恩·海耶斯。 可能的价值:探索并发的概念。 (英语) 兹比尔1355.68043 J.日志。代数。方法计划。 85,第5号,第2部分,972-984(2016).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{I.J.Hayes},J.Log。代数。方法计划。85,第5号,第2部分,972--984(2016;Zbl 1355.68043) 全文: DOI程序 arXiv公司 OA许可证
克利夫·琼斯。;伊恩·海耶斯。;罗伯特·科尔文。 在形式化的并发方法中平衡表达能力。 (英语) Zbl 1343.68171号 正式Asp。计算。 27,第3期,475-497(2015).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}等人,正式Asp。计算。27,第3号,475--497(2015;Zbl 1343.68171) 全文: DOI程序