保罗·巴尔丹；丹尼尔·戈拉；托马索·帕多安；伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 （英语） 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） 全文： 内政部
罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 （英语） Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司：68问题85 03B45 PDF格式BibTeX公司 XML格式引用 \文本{R.Gorrieri}，Theor。计算。科学。897，83-113（2022；Zbl 07437214） 全文： 内政部
罗伯托·戈里埃里 分支位置双相似性：具有无声移动的有限Petri网的可判定行为等价性。 （英语） Zbl 1490.68140号 Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719，80-99（2021）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，莱克特。注释计算。科学。12719，80-99（2021；Zbl 1490.68140） 全文： 内政部
罗伯托·戈里埃里 BPP网络团队互模拟研究。 （英语） Zbl 1498.68185号 Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 153-175 (2020).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，莱克特。注释计算。科学。12152，153--175（2020；Zbl 1498.68185） 全文： 内政部