publications:
- title: "The Reflective Design of Maude s Module Algebra"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  year: "2000"
  tags:
  - " algebra"
  - "design"
  researchr: "https://researchr.org/publication/Duran00%3A0"
  cites: 0
  citedby: 0
  pages: "128-134"
  booktitle: "wflp"
  kind: "inproceedings"
  key: "Duran00:0"
- 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: "A Conference Reviewing System in Mobile Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2002"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#008"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#008"
  tags:
  - "reviewing"
  - "mobile"
  researchr: "https://researchr.org/publication/DuranV02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "71"
  pages: "127-143"
  kind: "article"
  key: "DuranV02"
- 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: "Using UML and Maude for Writing and Reasoning about ODP Policies"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Javier Herrador"
    link: "https://researchr.org/alias/javier-herrador"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390015abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390015abs.htm"
  tags:
  - "UML"
  - "writing"
  researchr: "https://researchr.org/publication/DuranHV03"
  cites: 0
  citedby: 0
  pages: "15-25"
  booktitle: "policy"
  kind: "inproceedings"
  key: "DuranHV03"
- title: "Playing with Maude"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_7"
  researchr: "https://researchr.org/publication/ClavelDELMMTPV07"
  cites: 0
  citedby: 0
  pages: "159-184"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMTPV07"
- title: "New Evaluation Commands for Maude Within Full Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.014"
  researchr: "https://researchr.org/publication/DuranEL05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "117"
  pages: "263-284"
  kind: "article"
  key: "DuranEL05"
- title: "Predefined Data Modules"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-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_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_9"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/ClavelDELMMT07g"
  cites: 0
  citedby: 0
  pages: "231-305"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07g"
- 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: "An extensible module algebra for Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "1998"
  doi: "https://doi.org/10.1016/S1571-0661(05)80012-X"
  links:
    doi: "https://doi.org/10.1016/S1571-0661(05)80012-X"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/DuranM98"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "15"
  pages: "174-195"
  kind: "article"
  key: "DuranM98"
- title: "Proving operational termination of membership equational programs"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Claude Marché"
    link: "https://researchr.org/alias/claude-march%C3%A9"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Xavier Urbain"
    link: "https://researchr.org/alias/xavier-urbain"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9028-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9028-2"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/DuranLMMU08"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "21"
  number: "1-2"
  pages: "59-88"
  kind: "article"
  key: "DuranLMMU08"
- title: "Debugging and Troubleshooting"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-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_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_22"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/ClavelDELMMT07q"
  cites: 0
  citedby: 0
  pages: "697-736"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07q"
- title: "A Distributed Implementation of Mobile Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - 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.1016/j.entcs.2007.06.011"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.011"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/DuranRV07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "176"
  number: "4"
  pages: "113-131"
  kind: "article"
  key: "DuranRV07"
- title: "Formal Specification and Analysis of Domain Specific Models Using Maude"
  author:
  - name: "José Eduardo Rivera"
    link: "https://researchr.org/alias/jos%C3%A9-eduardo-rivera"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Antonio Vallecillo"
    link: "https://researchr.org/alias/antonio-vallecillo"
  year: "2009"
  doi: "http://dx.doi.org/10.1177/0037549709341635"
  links:
    doi: "http://dx.doi.org/10.1177/0037549709341635"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/simulation/RiveraDV09"
  tags:
  - "domain analysis"
  - "analysis"
  researchr: "https://researchr.org/publication/RiveraDV09-0"
  cites: 0
  citedby: 0
  journal: "simulation"
  volume: "85"
  number: "11-12"
  pages: "778-792"
  kind: "article"
  key: "RiveraDV09-0"
- title: "Maude s Internal Strategies"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.022"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.022"
  researchr: "https://researchr.org/publication/Duran05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "2"
  pages: "11-15"
  kind: "article"
  key: "Duran05"
- title: "The Third Rewrite Engines Competition"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Manuel Roldán"
    link: "https://researchr.org/alias/manuel-rold%C3%A1n"
  - name: "Jean-Christophe Bach"
    link: "http://www.loria.fr/~bachjeje"
  - name: "Emilie  Balland"
    link: "http://www.loria.fr/~balland/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "James R.  Cordy"
    link: "http://research.cs.queensu.ca/~cordy/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Luc Engelen"
    link: "https://researchr.org/alias/luc-engelen"
  - name: "Maartje  de Jonge"
    link: "https://researchr.org/profile/maartjedejonge/publications"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Pierre-Etienne Moreau"
    link: "http://www.loria.fr/~moreau/dokuwiki/doku.php"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16"
  abstract: "This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranRBBBCEEJK10"
  tags:
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/DuranRBBBCEEJK10"
  cites: 0
  citedby: 0
  pages: "243-261"
  booktitle: "WRLA"
  kind: "inproceedings"
  key: "DuranRBBBCEEJK10"
- title: "Structured theories and institutions"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0304-3975(03)00312-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(03)00312-8"
  researchr: "https://researchr.org/publication/DuranM03"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "309"
  number: "1-3"
  pages: "357-380"
  kind: "article"
  key: "DuranM03"
- title: "On the Behavioral Semantics of Real-Time Domain Specific Visual Languages"
  author:
  - name: "José Eduardo Rivera"
    link: "https://researchr.org/alias/jos%C3%A9-eduardo-rivera"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Antonio Vallecillo"
    link: "https://researchr.org/alias/antonio-vallecillo"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/RiveraDV10"
  tags:
  - "semantics"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/RiveraDV10"
  cites: 0
  citedby: 0
  pages: "174-190"
  booktitle: "WRLA"
  kind: "inproceedings"
  key: "RiveraDV10"
- title: "Maude s module algebra"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.07.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.07.002"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/DuranM07"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "66"
  number: "2"
  pages: "125-153"
  kind: "article"
  key: "DuranM07"
- 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: "Writing ODP Enterprise Specifications in Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2001"
  tags:
  - "writing"
  researchr: "https://researchr.org/publication/DuranV01"
  cites: 0
  citedby: 0
  pages: "55-68"
  booktitle: "woodpecker"
  kind: "inproceedings"
  key: "DuranV01"
- title: "Proving termination of membership equational programs"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Salvador Lucas"
    link: "https://researchr.org/alias/salvador-lucas"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Claude Marché"
    link: "https://researchr.org/alias/claude-march%C3%A9"
  - name: "Xavier Urbain"
    link: "https://researchr.org/alias/xavier-urbain"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1014007.1014022"
  links:
    doi: "http://doi.acm.org/10.1145/1014007.1014022"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/DuranLMMU04"
  cites: 0
  citedby: 0
  pages: "147-158"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "DuranLMMU04"
- title: "Invariant-Driven Strategies for Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Manuel Roldán"
    link: "https://researchr.org/alias/manuel-rold%C3%A1n"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.018"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.018"
  researchr: "https://researchr.org/publication/DuranRV05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "2"
  pages: "17-28"
  kind: "article"
  key: "DuranRV05"
- title: "On the modularity and reusability of the rule-based specification of QoS properties of systems"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steffen  Zschaler"
    link: "http://www.steffen-zschaler.de/"
  year: "2012"
  tags:
  - "rule-based"
  - "reuse"
  - "rules"
  researchr: "https://researchr.org/publication/DuranZschaler2012"
  cites: 0
  citedby: 0
  booktitle: "Preliminary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid #TR-08/12 "
  kind: "inproceedings"
  key: "DuranZschaler2012"
- title: "Polytypic Programming in Maude"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Narciso Martí-Oliet"
    link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#021"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#021"
  tags:
  - "polytypic programming"
  - "programming"
  - "polytypic"
  researchr: "https://researchr.org/publication/ClavelDM00"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "36"
  pages: "339-360"
  kind: "article"
  key: "ClavelDM00"
- title: "System Modules"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-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_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_6"
  researchr: "https://researchr.org/publication/ClavelDELMMT07e"
  cites: 0
  citedby: 0
  pages: "131-157"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07e"
- title: "Writing and executing ODP computational viewpoint specifications using Maude"
  author:
  - name: "José Raúl Romero"
    link: "https://researchr.org/alias/jos%C3%A9-ra%C3%BAl-romero"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.csi.2006.11.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.csi.2006.11.004"
  tags:
  - "writing"
  researchr: "https://researchr.org/publication/RomeroVD07"
  cites: 0
  citedby: 0
  journal: "csi"
  volume: "29"
  number: "4"
  pages: "481-498"
  kind: "article"
  key: "RomeroVD07"
- title: "Formal and Tool Support for Model Driven Engineering with Maude"
  author:
  - name: "José Raúl Romero"
    link: "https://researchr.org/alias/jos%C3%A9-ra%C3%BAl-romero"
  - name: "José Eduardo Rivera"
    link: "https://researchr.org/alias/jos%C3%A9-eduardo-rivera"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/paper10/index.html"
  links:
    doi: "http://www.jot.fm/issues/issue_2007_10/paper10/index.html"
  tags:
  - "meta-model"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/RomeroRDV07"
  cites: 0
  citedby: 0
  journal: "jot"
  volume: "6"
  number: "9"
  pages: "187-207"
  kind: "article"
  key: "RomeroRDV07"
- title: "Principles of Mobile Maude"
  author:
  - 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: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2000"
  tags:
  - "principles"
  - "mobile"
  researchr: "https://researchr.org/publication/DuranELM00"
  cites: 0
  citedby: 0
  pages: "73-85"
  booktitle: "ma"
  kind: "inproceedings"
  key: "DuranELM00"
- 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: "Introduction"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-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_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_1"
  researchr: "https://researchr.org/publication/ClavelDELMMT07"
  cites: 0
  citedby: 0
  pages: "1-28"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07"
- 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: "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: "From programming to modeling: our experience with a distributed software engineering course"
  author:
  - name: "Jordi  Cabot"
    link: "http://jordicabot.com/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Nathalie Moreno"
    link: "https://researchr.org/alias/nathalie-moreno"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  - name: "José Raúl Romero"
    link: "https://researchr.org/alias/jos%C3%A9-ra%C3%BAl-romero"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1368088.1368194"
  links:
    doi: "http://doi.acm.org/10.1145/1368088.1368194"
  tags:
  - "meta programming"
  - "meta-model"
  - "modeling"
  - "software engineering"
  - "model-driven engineering"
  - "programming"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CabotDMVR08"
  cites: 0
  citedby: 0
  pages: "749-758"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "CabotDMVR08"
- title: "The Maude Formal Tool Environment"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Joe Hendrix"
    link: "https://researchr.org/alias/joe-hendrix"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_12"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDHLMO07"
  cites: 0
  citedby: 0
  pages: "173-178"
  booktitle: "calco"
  kind: "inproceedings"
  key: "ClavelDHLMO07"
- title: "The Maude 2.0 System"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060076.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060076.htm"
  researchr: "https://researchr.org/publication/ClavelDELMMT03"
  cites: 0
  citedby: 0
  pages: "76-87"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "ClavelDELMMT03"
- title: "Parameterized Theories and Views in Full Maude 2.0"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#020"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#020"
  researchr: "https://researchr.org/publication/DuranM00"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "36"
  pages: "316-338"
  kind: "article"
  key: "DuranM00"
- title: "A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.014"
  researchr: "https://researchr.org/publication/DuranO09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "3"
  pages: "83-102"
  kind: "article"
  key: "DuranO09"
- title: "Using Maude"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830371.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830371.htm"
  researchr: "https://researchr.org/publication/ClavelDELMMQ00"
  cites: 0
  citedby: 0
  pages: "371-374"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "ClavelDELMMQ00"
- 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: "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: "Module Operations"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-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_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_8"
  researchr: "https://researchr.org/publication/ClavelDELMMT07f"
  cites: 0
  citedby: 0
  pages: "185-230"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07f"
- title: "Using Maude to write and execute ODP information viewpoint specifications"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Manuel Roldán"
    link: "https://researchr.org/alias/manuel-rold%C3%A1n"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.csi.2004.10.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.csi.2004.10.008"
  researchr: "https://researchr.org/publication/DuranRV05%3A0"
  cites: 0
  citedby: 0
  journal: "csi"
  volume: "27"
  number: "6"
  pages: "597-620"
  kind: "article"
  key: "DuranRV05:0"
- title: "Object-Oriented Modules"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_19"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ClavelDELMMT07o"
  cites: 0
  citedby: 0
  pages: "599-642"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMT07o"
- title: "Tool Interoperability in the Maude Formal Environment"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Camilo Rocha"
    link: "https://researchr.org/alias/camilo-rocha"
  - name: "José M. Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22944-2_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22944-2_30"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/calco/DuranRA11"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DuranRA11"
  cites: 0
  citedby: 0
  pages: "400-406"
  booktitle: "calco"
  kind: "inproceedings"
  key: "DuranRA11"
- 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: "Structured Theories and Institutions"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "1999"
  doi: "http://www.elsevier.nl/locate/entcs/volume29.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume29.html"
  researchr: "https://researchr.org/publication/DuranM99"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "29"
  pages: "23-41"
  kind: "article"
  key: "DuranM99"
- 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: "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: "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: "MTT: The Maude Termination Tool (System Description)"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-71070-7_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71070-7_27"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/DuranLM08"
  cites: 0
  citedby: 0
  pages: "313-319"
  booktitle: "cade"
  kind: "inproceedings"
  key: "DuranLM08"
- title: "A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranM10a"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/DuranM10a"
  cites: 0
  citedby: 0
  pages: "86-103"
  booktitle: "WRLA"
  kind: "inproceedings"
  key: "DuranM10a"
- 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: "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: "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: "Some Tools"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  - name: "Christiano Braga"
    link: "https://researchr.org/alias/christiano-braga"
  - name: "Azadeh Farzan"
    link: "https://researchr.org/alias/azadeh-farzan"
  - name: "Joe Hendrix"
    link: "https://researchr.org/alias/joe-hendrix"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  - name: "Miguel Palomino"
    link: "https://researchr.org/alias/miguel-palomino"
  - name: "Ralf Sasse"
    link: "https://researchr.org/alias/ralf-sasse"
  - name: "Mark-Oliver Stehr"
    link: "https://researchr.org/alias/mark-oliver-stehr"
  - name: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_21"
  researchr: "https://researchr.org/publication/ClavelDELMMTBFHOPSSV07"
  cites: 0
  citedby: 0
  pages: "667-693"
  booktitle: "maude"
  kind: "inproceedings"
  key: "ClavelDELMMTBFHOPSSV07"
- title: "Model-Driven Performance Analysis of Rule-Based Domain Specific Visual Models"
  author:
  - name: "Javier Troya"
    link: "https://researchr.org/alias/javier-troya"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steffen  Zschaler"
    link: "http://www.steffen-zschaler.de/"
  year: "2012"
  doi: "http://dx.doi.org/10.1016/j.infsof.2012.07.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.infsof.2012.07.009"
  tags:
  - "rule-based"
  - "meta-model"
  - "domain analysis"
  - "analysis"
  - "rules"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/TroyaVallecilloDurnZschaler2012"
  cites: 0
  citedby: 0
  journal: "Information and Software Technology"
  kind: "article"
  key: "TroyaVallecilloDurnZschaler2012"
- title: "The Second Rewrite Engines Competition"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Manuel Roldán"
    link: "https://researchr.org/alias/manuel-rold%C3%A1n"
  - name: "Emilie  Balland"
    link: "http://www.loria.fr/~balland/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  - name: "Lennart C. L. Kats"
    link: "http://www.lclnet.nl/"
  - name: "Pierre-Etienne Moreau"
    link: "http://www.loria.fr/~moreau/dokuwiki/doku.php"
  - name: "Ruslan Shevchenko"
    link: "https://researchr.org/alias/ruslan-shevchenko"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025"
  abstract: "The 2nd Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated ve systems, namely ASF+SDF, Maude, Stratego/XT, Termware, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions."
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025"
  tags:
  - "rewrite engine"
  - "SDF"
  - "term rewriting"
  - "graph-rewriting"
  - "C++"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  - "rewriting strategies"
  - "ASF+SDF"
  - "Stratego"
  researchr: "https://researchr.org/publication/DuranRBBEKKMSV09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "3"
  pages: "281-291"
  kind: "article"
  key: "DuranRBBEKKMSV09"
- 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: "Unification and Narrowing in Maude 2.4"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - 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: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_27"
  researchr: "https://researchr.org/publication/ClavelDEELMMT09"
  cites: 0
  citedby: 0
  pages: "380-390"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "ClavelDEELMMT09"
- 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: "Maude as a metalanguage"
  author:
  - name: "Manuel Clavel"
    link: "https://researchr.org/alias/manuel-clavel"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Steven Eker"
    link: "https://researchr.org/alias/steven-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: "https://researchr.org/alias/jos%C3%A9-meseguer"
  - name: "Jose F. Quesada"
    link: "https://researchr.org/alias/jose-f.-quesada"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#016"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#016"
  researchr: "https://researchr.org/publication/ClavelDELMMQ98"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "15"
  pages: "147-160"
  kind: "article"
  key: "ClavelDELMMQ98"
- title: "A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranM10"
  researchr: "https://researchr.org/publication/DuranM10"
  cites: 0
  citedby: 0
  pages: "69-85"
  booktitle: "WRLA"
  kind: "inproceedings"
  key: "DuranM10"
- title: "From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition"
  author:
  - name: "Antonio Albarrán"
    link: "https://researchr.org/alias/antonio-albarr%C3%A1n"
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2001"
  researchr: "https://researchr.org/publication/AlbarranDV01"
  cites: 0
  citedby: 0
  pages: "419-434"
  booktitle: "jisbd"
  kind: "inproceedings"
  key: "AlbarranDV01"
- title: "The Extensibility of Maude s Module Algebra"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160422.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160422.htm"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Duran00"
  cites: 0
  citedby: 0
  pages: "422-437"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Duran00"
- title: "Formalizing ODP enterprise specifications in Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Antonio Vallecillo"
    link: "http://www.lcc.uma.es/~av/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0920-5489(02)00121-6"
  links:
    doi: "http://dx.doi.org/10.1016/S0920-5489(02)00121-6"
  researchr: "https://researchr.org/publication/DuranV03"
  cites: 0
  citedby: 0
  journal: "csi"
  volume: "25"
  number: "2"
  pages: "83-102"
  kind: "article"
  key: "DuranV03"
- 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: "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: "On-demand Evaluation for Maude"
  author:
  - name: "Francisco Durán"
    link: "http://www.lcc.uma.es/~duran/"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.013"
  researchr: "https://researchr.org/publication/DuranEL05a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "1"
  pages: "25-39"
  kind: "article"
  key: "DuranEL05a"
- 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"