罗伯托·戈里埃里 交错与真正的并发：一些有益的安全示例。 （英语） Zbl 1503.68191号 Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 131-152 (2020).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，莱克特。注释计算。科学。12152，131--152（2020；Zbl 1503.68191） 全文： DOI程序
罗伯托·戈里埃里 有限状态机的验证：分布式方法。 （英语） Zbl 1430.68152号 J.日志。阿尔盖布。方法计划。 96, 65-80 (2018).MSC公司：60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，J.Log（J·洛格）。阿尔盖布。方法计划。96、65-80（2018年；Zbl 1430.68152） 全文： DOI程序