Thomas Dinsdale-Young等人：关于指定和验证并发模块的观点。(2018) 期刊/jlp/Dinsdale-YoungP18 2016年10月10日/J.JLAMP.2018.03.003 关于指定和验证并发模块的观点。 三 托马斯·丁斯代尔-杨 1 佩德罗·达罗查·平托 2 菲利普·加德纳 三 1-25 J.日志。代数方法课程。 J.日志。代数方法课程。 98 2018 dblp记录'journals/jlp/Dinsdale-YoungP18'的RDF数据的来源信息 2020-02-22T19:18:12+0100