曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 莫德2.0系统。 （英语） Zbl 1038.68559号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 76-87 (2003). 小结：本文概述了Maude 2.0系统。我们强调支持重写逻辑和成员关系等式逻辑的全面通用性、操作语义问题、新的内置模块、更通用的full Maude模块代数、新的META-LEVEL模块、LTL模型检查器、，以及新的实现技术，在重写模块方面大大提高了性能。我们还评论了Maude的正式工具环境和应用程序。关于整个系列，请参见[Zbl 1029.00060号]. 引用于46文件 MSC公司： 2012年第68季度 语法和重写系统 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，Lect。注释计算。科学。2706、76-87（2003年；Zbl 1038.68559） 全文： 链接