罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 （英语） Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司：68问题85 03B45 PDF格式BibTeX公司 XML格式引用 \文本{R.Gorrieri}，Theor。计算。科学。897，83-113（2022；Zbl 07437214） 全文： 内政部
罗伯托·戈里埃里 BPP网络的团队相似性及其相关的模式逻辑。 （英语） Zbl 1497.68339号 学报信息。 58，第5号，529-569（2021）.MSC公司：68问题85 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，《信息学报》58，第5期，529--569（2021年；Zbl 1497.68339） 全文： 内政部
罗伯托·戈里埃里 有限状态机的验证：分布式方法。 （英语） 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） 全文： 内政部
马里奥·布雷韦蒂；罗伯托·戈里埃里 交互式广义半马尔可夫过程理论。 （英语） Zbl 0997.68083号 西奥。计算。科学。 282，第1期，第5-32页（2002年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{R.Gorrieri}，Theor。计算。科学。282，编号1，5--32（2002；Zbl 0997.68083） 全文： 内政部
马可·贝尔纳多；罗伯托·戈里埃里 对“EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论”的更正。 （英语） Zbl 0973.68179号 西奥。计算。科学。 254，编号1-2，691-694（2001）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri}，Theor。计算。科学。254，编号1--2，691--694（2001；Zbl 0973.68179） 全文： 内政部
马可·贝尔纳多；洛伦佐·多纳蒂埃洛；罗伯托·戈里埃里 在并发系统建模和分析中集成性能方面的一种形式化方法。 （英语） Zbl 0909.68074号 Inf.计算。 144，第2期，第83-154页（1998年）.MSC公司：2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人，《信息计算》。144，No.2，83--154（1998；Zbl 0909.68074） 全文： 内政部
马可·贝尔纳多；罗伯托·戈里埃里 EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论。 （英语） Zbl 0902.68075号 西奥。计算。科学。 202，编号1-2，1-54（1998）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri}，Theor。计算。科学。202，编号1--2，1--54（1998；Zbl 0902.68075） 全文： 内政部
马可·贝尔纳多；罗伯托·戈里埃里 扩展的马尔科夫过程代数。 （英语） Zbl 1514.68155号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 315-330 (1996).MSC公司：68问题85 第68季度55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri}，莱克特。注释计算。科学。1119315-330（1996年；Zbl 1514.68155） 全文： 内政部