刘熙;杨绍发;J.W.桑德斯。 设计补偿。 （英语） 兹比尔1342.68136 正式Asp。计算。 26，第4期，623-676（2014）.MSC公司：2010年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}等人，正式Asp。计算。26，第4号，623--676（2014；Zbl 1342.68136） 全文： 内政部
陈振邦;刘志明;王，季 故障-聚合语义和长时间运行事务的细化。 （英语） Zbl 1279.68202号 西奥。计算。科学。 455，31-65（2012年）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人，Theor。计算。科学。455、31-65（2012年；Zbl 1279.68202） 全文： 内政部
卡蒂亚·瓦兹;卡拉·费雷拉 关于补偿正确性的分析。 （英语） Zbl 1246.68100号 J.日志。阿尔盖布。程序。 81，第5号，585-605（2012）.MSC公司：68号30 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Vaz}和\textit{C.Ferreira}，J.Log。阿尔盖布。程序。81，第5号，585--605（2012；Zbl 1246.68100） 全文： 内政部
罗伯托·布鲁尼;安妮·克尔斯滕;伊万·拉内斯;乔治·斯帕格诺洛 一种新的分布式补偿策略，用于长时间运行事务中的中断。 （英语） Zbl 1312.68126号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，42-60（2012）。MSC公司：68问题55 第68页，共15页 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。7137，42-60（2012；Zbl 1312.68126） 全文： 内政部
A.拉帕杜拉。;普格利泽，R。;F.蒂兹。 用于异步WS-BPEL进程的基于WSDL的类型系统。 （英语） 兹比尔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） 全文： 内政部
克里斯蒂安·普什;希基，杰森 可靠性和容错的分布式推测执行：一种操作语义。 （英语） Zbl 1267.68063号 分布计算。 21，第6期，433-455（2009）.MSC公司：64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{C.ŢෛŬpuš}和\textit{J.Hickey}，分布式计算。21，第6号，433--455（2009；Zbl 1267.68063） 全文： 内政部
罗伯托·布鲁尼;弗拉迪米罗·萨松 计算模型：向乌戈·蒙塔纳里的愿景致敬。 （英语） Zbl 1143.68393号 Degano，Pierpaolo（编辑）等人，《并发性、图表和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065503-509（2008）。MSC公司：2005年第68季度 68-03 01A60型 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{V.Sassone}，莱克特。注释计算。科学。5065、503--509（2008年；Zbl 1143.68393） 全文： 内政部 链接
马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 从进程代数的角度来看，面向服务的计算。 （英语） Zbl 1178.68072号 J.日志。阿尔盖布。程序。 70，第1期，3-14（2007）.MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.Bravetti｝和\textit｛G.Zavattaro｝，J.日志。阿尔盖布。程序。70，第1号，第3-14号（2007；Zbl 1178.68072） 全文： 内政部