伊利耶斯·法尔科内;格温·萨拉恩 通过重新排序、修复和抑制实现运行时强制。 （英语） Zbl 1522.68312号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 47-65 (2021).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}和\textit{G.Salaün}，莱克特。注释计算。科学。13085，47-65（2021；Zbl 1522.68312） 全文： 内政部 哈尔
戴，费;陈浩;强、振平;梁志宏;黄碧;王磊光 自动分析微服务系统中的复杂交互。 （英语） 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） 全文： 内政部
拉赫达尔阿克鲁恩;格温·萨拉恩 通过先进先出（FIFO）和行李缓冲器自动验证自动机通信。 （英语） Zbl 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） 全文： 内政部 哈尔
拉马努贾姆，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） 全文： 内政部