保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜 无法异步观察并发。 （英语） 兹比尔1361.68158 数学。结构。计算。科学。 25，第4期，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；Zbl 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） 全文： 内政部 链接
保罗·巴尔丹;乔治·盖利;亚历山德拉·拉斐塔 有界量化的基本理论。 （英语） Zbl 1045.68524号 Inf.计算。 153，第2期，173-237（1999）.MSC公司：68甲18 03B40型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《信息计算》。153，第2号，173--237（1999；Zbl 1045.68524） 全文： 内政部