保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 无法异步观察并发。 (英语) Zbl 1361.68158号 数学。结构。计算。科学。 第4期,第25期,978-1004页(2015年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,数学。结构。计算。科学。25,第4号,978--1004(2015;Zbl 1361.68158) 全文: 内政部
保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里 使用具有等价关系的图来建模具有名称迁移的计算。 (英语) Zbl 1278.68211号 Ian Mackie(编辑),第三届术语图改写国际研讨会论文集(TERMGRAPH 2006),奥地利维也纳,2006年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第1期,85-97(2007)。MSC公司:68问题85 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《电子》。注释Theor。计算。科学。176,第1号,85-97(2007年;兹bl 1278.68211) 全文: 内政部
鲍尔丹,P。;A.Braciali。;R.布鲁尼。 开放流程的语义框架。 (英语) Zbl 1132.68042号 西奥。计算。科学。 389,第3号,446-483(2007年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。389,第3号,446--483(2007;Zbl 1132.68042) 全文: 内政部 链接