Pedro da Rocha Pinto等人：并发模块的模块规范步骤（受邀教程论文）。(2015) 日志/entcs/PintoDG15 2016年10月10日/J.ENTCS.2015.12.002 问题11317742 并发模块模块规范中的步骤（受邀教程论文）。 三 佩德罗·达罗查·平托 1 托马斯·丁斯代尔-杨 2 菲利普·加德纳 三 3-18 MFPS公司 MFPS公司 2015 2015 dblp记录“journals/entcs/PintoDG15”的RDF数据的来源信息 2022-08-16T23:07:11+0200