弗朗西斯科·杜兰；卡米洛，罗查；格温·萨拉恩 BPMN流程的资源供应策略：使用Maude进行规范和分析。 （英语） Zbl 1528.68217号 J.日志。阿尔盖布。方法计划。 123，文章ID 100711，27 p.（2021）.MSC公司：60年第68季度 2012年第68季度 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。123，文章ID 100711，27 p.（2021；Zbl 1528.68217） 全文： 内政部 哈尔
弗朗西斯科·杜兰；卡米洛，罗查；格温·萨拉恩 使用重写模块SMT的数据软件BPMN进程的符号规范和验证。 （英语） Zbl 1517.68231号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 76-97 (2018).MSC公司：60年第68季度 2012年第68季度 68问题85 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。11152，76-97（2018；Zbl 1517.68231） 全文： 内政部 哈尔
弗朗西斯科·杜兰；梅里姆·乌代尔尼；格温·萨拉恩 协议兼容性检查的通用框架。 （英语） Zbl 1245.68028号 科学。计算。程序。 77，编号7-8，870-886（2012）.MSC公司：64岁以下 68号01 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，科学。计算。程序。77，编号7--8870--886（2012；Zbl 1245.68028） 全文： 内政部
弗朗西斯科·杜兰；梅里姆·乌代尔尼；格温·萨拉恩 使用Maude检查协议兼容性。 （英语） Zbl 1364.68282号 Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，65-81（2009）。MSC公司：68问题85 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Durán｝等人，电子。注释Theor。计算。科学。255、65-81（2009年；Zbl 1364.68282） 全文： 链接