亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔 迷失在抽象中：多线程程序中的单调性。 （英语） Zbl 1355.68055号 Inf.计算。 252, 30-47 (2017).MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaiser}等人，《信息计算》。252、30--47（2017年；Zbl 1355.68055） 全文： 内政部
亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔 迷失在抽象中：多线程程序中的单调性。 （英语） Zbl 1417.68133号 Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，意大利罗马，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8704, 141-155 (2014).MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaiser}等人，Lect。票据计算。科学。8704，141--155（2014；Zbl 1417.68133） 全文： 内政部 arXiv公司 链接
阿拉斯泰尔·唐纳森。；亚历山大·凯撒；丹尼尔·克罗宁；迈克尔·陶奇尼格；托马斯·沃尔 对称并发程序的反示例引导抽象细化。 （英语） Zbl 1284.68179号 形式方法系统。设计。 第41期，第1期，第25-44页（2012年）.MSC公司：68号30 60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人，《形式方法系统》。设计。41、第1号、第25-44号（2012年；Zbl 1284.68179） 全文： 内政部 链接
亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔 通过最小化证明进行有效覆盖性分析。 （英语） Zbl 1364.68138号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，500-515（2012）。MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaiser}等人，Lect。票据计算。科学。7454500-515（2012年；Zbl 1364.68138） 全文： 内政部