乔斯琳·西蒙兹;肖姆·本·达维德;Chechik，玛莎 web服务应用程序的监视和恢复。 （英语） Zbl 1314.68037号 计算 95，第3期，223-267（2013）.MSC公司：68英里11 68问题85 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Simmonds}等人，Computing 95，No.3，223--267（2013；Zbl 1314.68037） 全文： 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 （英语） Zbl 1243.68138号 科学。计算。程序。 77，第5期，577-608（2012）.MSC公司：68甲15 68纳米30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人，科学。计算。程序。77，第5号，577--608（2012；Zbl 1243.68138） 全文： 内政部
A.拉帕杜拉。;Pugliese，R。;F.蒂兹。 用于异步WS-BPEL进程的基于WSDL的类型系统。 （英语） Zbl 1217.68061号 形式方法系统。设计。 38，第2期，119-157（2011）.MSC公司：68纳米30 68甲15 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{A.Lapadula}等人，《形式方法系统》。设计。38，第2号，119--157（2011；Zbl 1217.68061） 全文： 内政部
亚历山德罗·拉帕杜拉;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 web服务编排的演算。 （英语） Zbl 1187.68070号 De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421，33-47（2007）。MSC公司：68英里11 68纳米30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Lapadula}等人，Lect。注释计算。科学。4421，33-47（2007年；兹bl 1187.68070） 全文： 内政部
普拉塞提亚，I.S.W.B。;沃斯·T·E·J。;瑞典斯威斯特拉。 Web多维数据集。 （英语） Zbl 1225.68034号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿422977-92（2006）。MSC公司：68英里11 PDF格式BibTeX公司 XML格式引用 \textit{I.S.W.B.Prasetya}等人，Lect。注释计算。科学。422977-92（2006年；Zbl 1225.68034） 全文： 内政部