publications:
- title: "Computational Logical Frameworks and Generic Program Analysis Technologies"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_28"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_28"
  tags:
  - "program analysis"
  - "generic programming"
  - "analysis"
  researchr: "https://researchr.org/publication/MeseguerR05"
  cites: 0
  citedby: 0
  pages: "256-267"
  booktitle: "vstte"
  kind: "inproceedings"
  key: "MeseguerR05"
- 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: "Mapping Modular SOS to Rewriting Logic"
  author:
  - name: "Christiano de O. Braga"
    link: "https://researchr.org/alias/christiano-de-o.-braga"
  - name: "Edward Hermann Haeusler"
    link: "https://researchr.org/alias/edward-hermann-haeusler"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2664/26640262.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2664/26640262.htm"
  tags:
  - "SOS"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/BragaHMM02"
  cites: 0
  citedby: 0
  pages: "262-277"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "BragaHMM02"
- title: "Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic"
  author:
  - name: "Christiano de O. Braga"
    link: "https://researchr.org/alias/christiano-de-o.-braga"
  - name: "Edward Hermann Haeusler"
    link: "https://researchr.org/alias/edward-hermann-haeusler"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160407.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160407.htm"
  tags:
  - "semantics"
  - " action semantics"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  - "reflection"
  researchr: "https://researchr.org/publication/BragaHMM00"
  cites: 0
  citedby: 0
  pages: "407-421"
  booktitle: "amast"
  kind: "inproceedings"
  key: "BragaHMM00"
- 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: "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: "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: "Certifying and Synthesizing Membership Equational Proofs"
  author:
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - 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: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359"
  tags:
  - "equational proofs"
  researchr: "https://researchr.org/publication/RosuELM03"
  cites: 0
  citedby: 0
  pages: "359-380"
  booktitle: "FM"
  kind: "inproceedings"
  key: "RosuELM03"
- title: "Semantic foundations for generalized rewrite theories"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.04.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.04.012"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/BruniM06%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "360"
  number: "1-3"
  pages: "386-414"
  kind: "article"
  key: "BruniM06:0"
- 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: "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: "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: "Deduction, Strategies, and Rewriting"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - 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: "Alberto Verdejo"
    link: "https://researchr.org/alias/alberto-verdejo"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.03.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.03.017"
  tags:
  - "graph-rewriting"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/EkerMMV07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "174"
  number: "11"
  pages: "3-25"
  kind: "article"
  key: "EkerMMV07"
- 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: "Functorial semantics for Petri nets under the individual token philosophy"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "1999"
  doi: "http://www.elsevier.nl/locate/entcs/volume29.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume29.html"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BruniMMS99"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "29"
  pages: "21"
  kind: "article"
  key: "BruniMMS99"
- 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: "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: "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: "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: "Automata in semimodule categories"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ignacio Sols"
    link: "https://researchr.org/alias/ignacio-sols"
  year: "1974"
  researchr: "https://researchr.org/publication/MeseguerS74"
  cites: 0
  citedby: 0
  pages: "193-198"
  booktitle: "category"
  kind: "inproceedings"
  key: "MeseguerS74"
- 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: "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: "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: "Rewriting logic: roadmap and bibliography"
  author:
  - 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: "2002"
  doi: "http://dx.doi.org/10.1016/S0304-3975(01)00357-7"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(01)00357-7"
  tags:
  - "bibliography"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/Marte-OlietM02"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "285"
  number: "2"
  pages: "121-154"
  kind: "article"
  key: "Marte-OlietM02"
- 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: "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: "Towards Behavioral Maude: Behavioral Membership Equational Logic"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/117/54/show/Products/notes/index.htt#011"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/117/54/show/Products/notes/index.htt#011"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/MeseguerR02%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "65"
  number: "1"
  pages: "197-253"
  kind: "article"
  key: "MeseguerR02:0"
- title: "Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude"
  author:
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10703-006-0015-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-006-0015-0"
  tags:
  - "protocol"
  - "analysis"
  researchr: "https://researchr.org/publication/OlveczkyMT06"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "29"
  number: "3"
  pages: "253-293"
  kind: "article"
  key: "OlveczkyMT06"
- 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: "A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "1981"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Meseguer81"
  cites: 0
  citedby: 0
  pages: "152-168"
  booktitle: "icfpc"
  kind: "inproceedings"
  key: "Meseguer81"
- title: "Termination of just/fair computations in term rewriting"
  author:
  - 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.1016/j.ic.2007.11.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2007.11.002"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LucasM08%3A0"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "206"
  number: "5"
  pages: "652-675"
  kind: "article"
  key: "LucasM08:0"
- title: "Abstraction and Completeness for Real-Time Maude"
  author:
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.005"
  tags:
  - "completeness"
  - "abstraction"
  researchr: "https://researchr.org/publication/OlveczkyM07a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "176"
  number: "4"
  pages: "5-27"
  kind: "article"
  key: "OlveczkyM07a"
- 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: "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: "The Maude LTL Model Checker"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ambarish Sridharanarayanan"
    link: "https://researchr.org/alias/ambarish-sridharanarayanan"
  year: "2002"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#010"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#010"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/EkerMS02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "71"
  pages: "162-187"
  kind: "article"
  key: "EkerMS02"
- 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: "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: "The rewriting logic semantics project"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.018"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.018"
  tags:
  - "semantics"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/MeseguerR07"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "373"
  number: "3"
  pages: "213-237"
  kind: "article"
  key: "MeseguerR07"
- title: "Termination of Fair Computations in Term Rewriting"
  author:
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11591191_14"
  links:
    doi: "http://dx.doi.org/10.1007/11591191_14"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/LucasM05"
  cites: 0
  citedby: 0
  pages: "184-198"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "LucasM05"
- title: "The Rewriting Logic Semantics Project"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.027"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.027"
  tags:
  - "semantics"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/MeseguerR06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "156"
  number: "1"
  pages: "27-56"
  kind: "article"
  key: "MeseguerR06"
- 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 rewriting logic approach to operational semantics"
  author:
  - name: "Traian-Florin Serbanuta"
    link: "https://researchr.org/alias/traian-florin-serbanuta"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.ic.2008.03.026"
  abstract: "This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step and small-step structural operational semantics (SOS), modular SOS, reduction semantics with evaluation contexts, continuation-based semantics, and the chemical abstract machine. Each of these language definitional styles can be faithfully captured as an RLS theory, in the sense that there is a one-to-one correspondence between computational steps in the original language definition and computational steps in the corresponding RLS theory. A major goal of this paper is to show that RLS does not force or pre-impose any given language definitional style, and that its flexibility and ease of use makes RLS an appealing framework for exploring new definitional styles."
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2008.03.026"
  tags:
  - "programming languages"
  - "semantics"
  - "rule-based"
  - " structural operational semantics"
  - "SOS"
  - "graph-rewriting"
  - "logic programming"
  - "programming"
  - "operational semantics"
  - "context-aware"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  - "abstract machine"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/SerbanutaRM09"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "207"
  number: "2"
  pages: "305-340"
  kind: "article"
  key: "SerbanutaRM09"
- 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: "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: "The Maude LTL Model Checker and Its Implementation"
  author:
  - name: "Steven Eker"
    link: "http://www.csl.sri.com/people/eker/"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ambarish Sridharanarayanan"
    link: "https://researchr.org/alias/ambarish-sridharanarayanan"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2648/26480230.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2648/26480230.htm"
  researchr: "https://researchr.org/publication/EkerMS03"
  cites: 0
  citedby: 0
  pages: "230-234"
  booktitle: "spin"
  kind: "inproceedings"
  key: "EkerMS03"
- 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: "Algebraic Theories for Contextual Pre-nets"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=256"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=256"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BruniMMS03"
  cites: 0
  citedby: 0
  pages: "256-270"
  booktitle: "ictcs"
  kind: "inproceedings"
  key: "BruniMMS03"
- title: "Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools"
  author:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=1"
  tags:
  - "semantics"
  - "formal semantics"
  - "analysis"
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/MeseguerR04"
  cites: 0
  citedby: 0
  pages: "1-44"
  booktitle: "cade"
  kind: "inproceedings"
  key: "MeseguerR04"
- title: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings"
  year: "2008"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/amast%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings"
  conference: "amast"
  editor:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  volume: "5140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79979-5"
  kind: "proceedings"
  key: "amast:2008"
- 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"