Thomas Dinsdale Young等人：观点：并发程序的组合推理。(2013) conf/popl/Dinsdale-YoungBGPY13 2014年10月14日/242969.2429104 10.1145/2480359.2429104 问题29397724 视图：并发程序的组合推理。 5 托马斯·丁斯代尔-杨 1 拉尔斯·比克达尔 2 菲利普·加德纳 三 马修·帕金森 4 杨红seok 5 287-300 POPL公司 POPL公司 2013 2013 dblp记录“conf/popl/Dinsdale-YoungBGPY13”的RDF数据的来源信息 2021-07-31T17:22:15+0200