鲍尔丹,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 1080.68075号 西奥。计算。科学。 335,编号2-3,331-372(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Theor。计算。科学。335,编号2--3,331--372(2005;Zbl 1080.68075) 全文: 内政部 链接
罗伯托·布鲁尼;乌戈·蒙塔纳里 用于并发的动态连接器。 (英语) Zbl 0996.68073号 西奥。计算。科学。 281,编号1-2,131-176(2002).MSC公司:2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari},Theor。计算。科学。281,编号1--2,131--176(2002;Zbl 0996.68073) 全文: 内政部