保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 （英语） Zbl 1504.68138号 Inf.计算。 285，B部分，文章ID 104887，25 p.（2022）.MSC公司：68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《信息计算》。285，B部分，文章ID 104887，25 p.（2022；Zbl 1504.68138） 全文： 内政部
保罗·巴尔丹;托马索·帕多安 本地模型在逻辑中检查真正的并发性。 （英语） Zbl 1486.68102号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 407-423 (2017).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{T.Padoan}，莱克特。注释计算。科学。10203、407--423（2017；Zbl 1486.68102） 全文： 内政部