菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 基于网络的web服务发布和可替换性方法。 (英语) 兹比尔1183.68069 芬丹。通知。 94,编号3-4,305-330(2009).MSC公司:68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Fundam。通知。94,编号3--4,305-330(2009;Zbl 1183.68069) 全文: DOI程序
菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 在web服务开发中使用行为等效性。 (英语) Zbl 1154.68446号 芬丹。通知。 89,第4号,479-510(2008).MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Fundam。通知。89,第4号,479--510(2008;Zbl 1154.68446)
菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 通过网络的行为等效实现web服务的组合规范:案例研究。 (英语) Zbl 1143.68474号 van Hee,Kees M.(编辑)等人,《Petri网的应用和理论》。2008年6月23日至27日,第29届国际会议,PETRI NETS 2008,中国西安。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-68745-0/pbk)。《计算机科学讲义》5062,52-71(2008)。MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Lect。注释计算。科学。5062、52--71(2008年;Zbl 1143.68474) 全文: DOI程序 链接
菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 web服务的行为一致性。 (英语) Zbl 1141.68501号 Arbab,Farhad(编辑)等人,软件工程基础国际研讨会。国际研讨会,FSEN 2007,伊朗德黑兰,2007年4月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75697-2/pbk)。计算机科学课堂讲稿4767240-256(2007)。MSC公司:68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Lect。注释计算。科学。4767240-256(2007年;Zbl 1141.68501) 全文: DOI程序