丹尼尔·法瓦(Daniel S.Fava)。;马丁·斯特芬;沃尔克·斯托尔茨 具有通道同步的弱记忆模型的操作语义。 (英语) Zbl 1417.68093号 J.日志。阿尔盖布。方法计划。 103, 1-30 (2019).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Fava}等人,J.Log。阿尔盖布。方法计划。103,1-30(2019年;兹bl 1417.68093) 全文: 内政部 链接
埃纳尔·布罗赫·约翰森;马丁·斯特芬;Johanna Beate Stumpf 虚拟定时环境:嵌套虚拟化的演算。 (英语) Zbl 1381.68205号 J.日志。阿尔盖布。方法计划。 94, 109-127 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。方法计划。94、109-127(2018;Zbl 1381.68205) 全文: 内政部 链接
潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 影响死锁检查的多态行为推断。 (英语) Zbl 1392.68148号 J.日志。阿尔盖布。方法计划。 85,第6期,1234-1267(2016).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I Pun}等人,J.Log。阿尔盖布。方法计划。85、6号、1234--1267(2016;Zbl 1392.68148) 全文: 内政部
潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 通过数据竞争检测进行死锁检查。 (英语) Zbl 1371.68199号 J.日志。阿尔盖布。方法计划。 83,编号5-6,400-426(2014).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I Pun}等人,J.Log。阿尔盖布。方法计划。83,编号5--6400-426(2014;Zbl 1371.68199) 全文: 内政部 哈尔