伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 同步程序代数:关于共享内存和基于事件的并发性的推理基础。 (英语) Zbl 1425.68293号 正式Asp。计算。 31,2号,133-163(2019).MSC公司:68问题85 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}等人,正式Asp。计算。31,第2号,133--163(2019;Zbl 1425.68293) 全文: 内政部 arXiv公司
罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼基。 为具有并发性的广谱语言设计语义模型。 (英语) Zbl 1375.68036号 正式Asp。计算。 29,第5号,853-875(2017).MSC公司:68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}等人,正式Asp。计算。29,第5号,853--875(2017;Zbl 1375.68036) 全文: 内政部 arXiv公司
Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;C.C.摩根。;A.斯隆。;Susatyo,E。 无干扰安全的抽象:概率与可能性。 (英语) Zbl 1323.68212号 正式Asp。计算。 26,第1期,169-194(2014).MSC公司:68号30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,正式Asp。计算。26,第1号,169--194(2014;Zbl 1323.68212) 全文: 内政部
拉里萨·梅尼克;金·索林 概率程序的精化代数。 (英语) Zbl 1183.68198号 正式Asp。计算。 22,第1期,3-31页(2010年).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Meinicke}和\textit{K.Solin},正式Asp。计算。22,第1号,第3--31号(2010;Zbl 1183.68198) 全文: 内政部 哈尔