艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 并发对象的可追踪细化检查。 （英语） 兹比尔1345.68096 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。651-662 (2015). 引用于11文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 68周25 近似算法 关键词：并发;线性化能力;精炼 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。651--662（2015；Zbl 1345.68096） 全文： DOI程序