加布里埃尔·乔巴努；马西耶·库特尼；杰森·斯格尔斯 基于策略的语义，用于具有时间和访问权限的移动性。 （英语） Zbl 1343.68163号 正式Asp。计算。 27，第3期，525-549（2015）.MSC公司：68问题85 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人，正式Asp。计算。27，第3号，525--549（2015；Zbl 1343.68163） 全文： 内政部 链接
何塞·梅塞格尔；格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司：第68季度55 03B70号 68号30 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231，38-69（2013年；兹bl 1435.68188） 全文： 内政部
何塞·梅塞格尔 二十年的逻辑重写。 （英语） Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： 内政部
何塞·梅塞格尔；格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号 Owe，Olaf（编辑）等人，《计算理论基础》。第18届国际研讨会，2011年《烟草控制框架公约》，挪威奥斯陆，2011年8月22日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：第68季度55 03B70号 68号30 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。票据计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
穆罕默德·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。；Jan Friso，格鲁特 SOS格式和元理论：20年后。 （英语） 兹比尔1111.68069 西奥。计算。科学。 373，第3号，238-272（2007）.MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人，Theor。计算。科学。373，第3号，238--272（2007；Zbl 1111.68069） 全文： 内政部
何塞·梅塞格尔；格里高·罗什乌 重写逻辑语义项目。 （英语） Zbl 1111.68068号 西奥。计算。科学。 373，第3期，213-237（2007）.MSC公司：第68季度55 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，Theor。计算。科学。373，第3号，213--237（2007；Zbl 1111.68068） 全文： 内政部 链接
阿尔贝托·维尔德乔；马丁·奥列特，纳西索 Maude中语义执行的两个案例研究：CCS和LOTOS。 （英语） Zbl 1086.68552号 形式方法系统。设计。 27，第1-2号，113-172（2005）.MSC公司：第68季度第42季度 第68季度55 60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet}，《形式方法系统》。设计。27，编号1--2，113--172（2005；Zbl 1086.68552） 全文： 内政部
马蒂·奥利特，纳西索；何塞·梅塞格尔 重写逻辑：路线图和参考书目。 （英语） Zbl 1027.68613号 西奥。计算。科学。 285，第2期，121-154（2002）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer}，Theor。计算。科学。285，编号2，121--154（2002；Zbl 1027.68613） 全文： 内政部
M.克拉维尔。；F.杜兰。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。 莫德：重写逻辑中的规范和编程。 （英语） Zbl 1001.68059号 西奥。计算。科学。 285，第2期，187-243（2002）.MSC公司：第68季度第42季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，Theor。计算。科学。285，第2号，187--243（2002；Zbl 1001.68059） 全文： 内政部