publications:
- title: "Model Checking Invariants Through Search"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_12"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/ClavelDELMMT07i"
  cites: 0
  citedby: 0
  pages: "373-384"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07i"
- title: "Towards Maude 2.0"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019"
  researchr: "https://researchr.org/publication/ClavelDELMMQ00%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "36"
  pages: "294-315"
  kind: "article"
  key: "ClavelDELMMQ00:0"
- title: "Maude: specification and programming in rewriting logic"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0304-3975(01)00359-0"
  abstract: "Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude."
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(01)00359-0"
  tags:
  - "graph-rewriting"
  - "logic programming"
  - "programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/ClavelDELMMQ02"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "285"
  number: "2"
  pages: "187-243"
  kind: "article"
  key: "ClavelDELMMQ02"
- title: "Reflection, Metalevel Computation, and Strategies"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_14"
  tags:
  - "computational reflection"
  - "reflection"
  researchr: "https://researchr.org/publication/ClavelDELMMT07k"
  cites: 0
  citedby: 0
  pages: "419-458"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07k"
- title: "LTL Model Checking"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_13"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDELMMT07j"
  cites: 0
  citedby: 0
  pages: "385-418"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07j"
- title: "Maude as a Formal Meta-tool"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Mark-Oliver Stehr"
    link: "https://researchr.org/alias/mark-oliver-stehr"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDEMS99"
  cites: 0
  citedby: 0
  pages: "1684-1703"
  booktitle: "FM"
  kind: "inproceedings"
  key: "ClavelDEMS99"
- title: "Object-Based Programming"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_11"
  tags:
  - "object-oriented programming"
  - "rule-based"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDELMMT07h"
  cites: 0
  citedby: 0
  pages: "339-372"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07h"
- title: "User Interfaces and Metalanguage Applications"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_17"
  researchr: "https://researchr.org/publication/ClavelDELMMT07m"
  cites: 0
  citedby: 0
  pages: "523-555"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07m"
- title: "Metalevel computation in Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003"
  researchr: "https://researchr.org/publication/ClavelDELMM98"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "15"
  pages: "331-352"
  kind: "article"
  key: "ClavelDELMM98"
- title: "The Maude System"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm"
  researchr: "https://researchr.org/publication/ClavelDELMMQ99"
  cites: 0
  citedby: 0
  pages: "240-243"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "ClavelDELMMQ99"
- title: "Specifying Parameterized Data Structures in Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Miguel Palomino"
    link: "https://researchr.org/alias/miguel-palomino"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ClavelDELMMTPV07a"
  cites: 0
  citedby: 0
  pages: "307-338"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMTPV07a"
- title: "A Sampler of Application Areas"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_20"
  researchr: "https://researchr.org/publication/ClavelDELMMT07p"
  cites: 0
  citedby: 0
  pages: "645-665"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07p"
- title: "Complete List of Maude Commands"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_23"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/ClavelDELMMT07r"
  cites: 0
  citedby: 0
  pages: "737-749"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07r"
- title: "Core Maude Grammar"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_24"
  tags:
  - "grammar"
  researchr: "https://researchr.org/publication/ClavelDELMMT07s"
  cites: 0
  citedby: 0
  pages: "751-756"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07s"
- title: "Functional Modules"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_4"
  researchr: "https://researchr.org/publication/ClavelDELMMT07c"
  cites: 0
  citedby: 0
  pages: "61-118"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07c"
- title: "Mobile Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Adrián Riesco"
    link: "https://researchr.org/alias/adri%C3%A1n-riesco"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_16"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/ClavelDELMMTRV07"
  cites: 0
  citedby: 0
  pages: "485-522"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMTRV07"
- title: "A Hierarchy of Data Types: From Trees to Sets"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_5"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ClavelDELMMT07d"
  cites: 0
  citedby: 0
  pages: "119-129"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07d"
- title: "Metaprogramming Applications"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_15"
  researchr: "https://researchr.org/publication/ClavelDELMMT07l"
  cites: 0
  citedby: 0
  pages: "459-483"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07l"
- title: "Syntax and Basic Parsing"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_3"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/ClavelDELMMT07b"
  cites: 0
  citedby: 0
  pages: "39-59"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07b"
- title: "Full Maude: Extending Core Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_18"
  researchr: "https://researchr.org/publication/ClavelDELMMT07n"
  cites: 0
  citedby: 0
  pages: "559-597"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07n"
- title: "Using Maude"
  author:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_2"
  researchr: "https://researchr.org/publication/ClavelDELMMT07a"
  cites: 0
  citedby: 0
  pages: "31-37"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07a"
- title: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  year: "2007"
  tags:
  - "program verification"
  - "graph-rewriting"
  - "logic programming"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/maude%3A2007"
  cites: 0
  citedby: 0
  booktitle: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic"
  conference: "maude"
  editor:
  - name: "Manuel Clavel"
    link: "http://maude.sip.ucm.es/~clavel/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Patrick Lincoln"
    link: "https://researchr.org/alias/patrick-lincoln"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "4350"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71940-3"
  kind: "proceedings"
  key: "maude:2007"