托马斯·丁斯代尔-杨 拉尔斯·比克达尔 菲利普·加德纳 马修·帕金森 杨红seok 视图：并发程序的组合推理。 287-300 2013 POPL公司 https://doi.org/10.1145/2429069.2429104 https://doi.org/10.1145/2480359.2429104 https://www.wikidata.org/entity/Q29397724 conf/popl/2013年 db/conf/popl/popl2013.html#Dinsdale-YoungBGPY13