吕克·爱迪克索芬；宋世宗曼；何塞·普伦萨；伊利亚州卡斯特拉尼 分支花束：设计、表现力和编舞应用。 （英语） Zbl 07803172号 J.日志。阿尔盖布。方法计划。 136，文章ID 100919，36 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Edixhoven}等人，J.Log。阿尔盖布。方法计划。136，文章ID 100919，36 p.（2024；Zbl 07803172） 全文： DOI程序
佛朗哥·巴巴内拉；伊万·拉内斯；埃米利奥·托斯托 形式舞蹈语言的理论。 （英语） Zbl 07731937号 日志。方法计算。科学。 19，第3号，第9号论文，36页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，日志。方法计算。科学。19，第3号，第9号论文，36页（2023；Zbl 07731937） 全文： DOI程序 arXiv公司
宋世宗曼；佩特拉·范登博斯 编舞的谓词变换器。计算舞蹈编程中的先决条件。 （英语） Zbl 1528.68080号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 520-547 (2022).MSC公司：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.-S.Jongmans｝和\textit｛P.van den Bos｝，Lect。注释计算。科学。13240520-547（2022年；Zbl 1528.68080） 全文： DOI程序
戴，费；陈浩；强、振平；梁志宏；黄碧；王磊光 自动分析微服务系统中的复杂交互。 （英语） Zbl 1435.68192号 复杂性 2020年，文章ID 2128793，12 p.（2020）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Dai}等人，《复杂性2020》，文章ID 2128793，12 p.（2020；Zbl 1435.68192） 全文： DOI程序
拉赫达尔·阿克伦；格温·萨拉恩 通过先进先出（FIFO）和行李缓冲器自动验证自动机通信。 （英语） 兹比尔1392.68224 形式方法系统。设计。 52，第3号，260-276（2018）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Akroun}和textit{G.Salaün}，《形式与方法系统》。设计。52，第3号，260-276（2018；Zbl 1392.68224） 全文： DOI程序 哈尔
拉马努贾姆，R。；Sheerazuddin，S。 web服务编排的可实现时态逻辑。 （英语） Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85，第5号，第1部分，759-781（2016）.MSC公司：60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin}，J.Log。阿尔盖布。方法计划。85，第5号，第1部分，759--781（2016；Zbl 1348.68148） 全文： DOI程序
纳比尔·哈默伦 服务协议可控性和可替换性规范的组合框架。 （英语） 兹比尔1297.68031 国际期刊计算。数学。 91，第6期，1137-1155（2014）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{N.Hameurlain}，国际计算机杂志。数学。91，第6号，1137--1155（2014；Zbl 1297.68031） 全文： DOI程序
JoséLuiz Fiadeiro；洛佩斯，安东尼亚 面向服务设计的接口理论。 （英语） Zbl 1360.68631号 西奥。计算。科学。 503，1-30（2013）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{A.Lopes}，Theor。计算。科学。503、1--30（2013年；Zbl 1360.68631） 全文： DOI程序
邓婷；范文飞；利奥尼德·利金；吴英辉 关于综合web服务的聚合问题。 （英语） Zbl 1408.68029号 J.计算。系统。科学。 79，第6号，873-891（2013）.MSC公司：68英里11 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Deng}等人，J.Compute。系统。科学。79，第6号，873--891（2013；Zbl 1408.68029） 全文： DOI程序
李、穆；李波；怀、金鹏 web服务的可靠性感知自动组合方法。 （英语） 兹比尔1245.68030 科学。中国，信息科学。 55，第4期，921-937（2012）.MSC公司：68米15 03B70号 68英里11 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}等人，科学。中国，信息科学。55，第4号，921--937（2012；Zbl 1245.68030） 全文： DOI程序 链接
萨米拉·塔沙罗菲；马尔詹·西尔贾尼 使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 （英语） Zbl 1347.68240号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，155-174（2009）。MSC公司：60年第68季度 68英里11 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Tasharofi}和\textit{M.Sirjani}，电子。注释Theor。计算。科学。229，第2号，155--174（2009；Zbl 1347.68240） 全文： DOI程序
怀、金鹏；邓婷；李宪贤；杜宗霞；郭慧鹏 AutoSyn：一种新的方法，用于自动合成具有正确性保证的复合web服务。 （英语） 兹比尔1191.68816 科学。中国，Ser。F类 52，第9期，1534-1549（2009）.MSC公司：68单位35 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Huai}等人，科学。中国，Ser。F 52，编号9，1534--1549（2009；Zbl 1191.68816） 全文： DOI程序
劳拉·佐丹奴；阿尔贝托·马泰利 验证代理是否符合多方协议。 （英语） Zbl 1250.68267号 Fisher，Michael（编辑）等人，《多智能体系统中的计算逻辑》。第九届国际研讨会，CLIMA IX，德国德累斯顿，2008年9月29日至30日。修改选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-02733-8/pbk）。计算机科学5405课堂讲稿。人工智能课堂讲稿，17-36（2009）。MSC公司：68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{A.Martelli}，莱克特。注释计算。科学。5405、17-36（2009年；Zbl 1250.68267） 全文： DOI程序
拉曼·卡扎米亚金；马可·皮斯托雷 分析web服务编排的实现条件。 （英语） Zbl 1225.68032号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿422961-76（2006）。MSC公司：68米10 68英里11 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{R.Kazhamakin}和\textit{M.Pistore}，莱克特。注释计算。科学。422961-76（2006年；Zbl 1225.68032） 全文： DOI程序