@inproceedings{MeseguerR05,
  title = {Computational Logical Frameworks and Generic Program Analysis Technologies},
  author = {José Meseguer and Grigore Rosu},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_28},
  url = {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},
}

@inproceedings{ClavelDELMMT07n,
  title = {Full Maude: Extending Core Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_18},
  url = {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},
}

@inproceedings{BragaHMM02,
  title = {Mapping Modular SOS to Rewriting Logic},
  author = {Christiano de O. Braga and Edward Hermann Haeusler and José Meseguer and Peter D. Mosses},
  year = {2002},
  url = {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},
}

@inproceedings{BragaHMM00,
  title = {Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic},
  author = {Christiano de O. Braga and Edward Hermann Haeusler and José Meseguer and Peter D. Mosses},
  year = {2000},
  url = {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},
}

@inproceedings{ClavelDELMMT07b,
  title = {Syntax and Basic Parsing},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_3},
  url = {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},
}

@inproceedings{ClavelDELMMT07p,
  title = {A Sampler of Application Areas},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_20},
  url = {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},
}

@article{ClavelDELMM98,
  title = {Metalevel computation in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer},
  year = {1998},
  url = {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},
}

@inproceedings{RosuELM03,
  title = {Certifying and Synthesizing Membership Equational Proofs},
  author = {Grigore Rosu and Steven Eker and Patrick Lincoln and José Meseguer},
  year = {2003},
  url = {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},
}

@article{BruniM06:0,
  title = {Semantic foundations for generalized rewrite theories},
  author = {Roberto Bruni and José Meseguer},
  year = {2006},
  doi = {10.1016/j.tcs.2006.04.012},
  url = {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},
}

@article{DuranLMMU08,
  title = {Proving operational termination of membership equational programs},
  author = {Francisco Durán and Salvador Lucas and Claude Marché and José Meseguer and Xavier Urbain},
  year = {2008},
  doi = {10.1007/s10990-008-9028-2},
  url = {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},
}

@inproceedings{ClavelDELMMT07l,
  title = {Metaprogramming Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_15},
  url = {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},
}

@inproceedings{ClavelDELMMT07o,
  title = {Object-Oriented Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_19},
  url = {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},
}

@article{EkerMMV07,
  title = {Deduction, Strategies, and Rewriting},
  author = {Steven Eker and Narciso Martí-Oliet and José Meseguer and Alberto Verdejo},
  year = {2007},
  doi = {10.1016/j.entcs.2006.03.017},
  url = {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},
}

@inproceedings{ClavelDELMMT07r,
  title = {Complete List of Maude Commands},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_23},
  url = {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},
}

@article{BruniMMS99,
  title = {Functorial semantics for Petri nets under the individual token philosophy},
  author = {Roberto Bruni and José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {1999},
  url = {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},
}

@inproceedings{ClavelDELMMT07a,
  title = {Using Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_2},
  url = {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},
}

@inproceedings{ClavelDELMMTPV07,
  title = {Playing with Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_7},
  url = {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},
}

@inproceedings{ClavelDELMMT07c,
  title = {Functional Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_4},
  url = {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},
}

@inproceedings{ClavelDELMMT07s,
  title = {Core Maude Grammar},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_24},
  url = {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},
}

@inproceedings{MeseguerS74,
  title = {Automata in semimodule categories},
  author = {José Meseguer and Ignacio Sols},
  year = {1974},
  researchr = {https://researchr.org/publication/MeseguerS74},
  cites = {0},
  citedby = {0},
  pages = {193-198},
  booktitle = {category},
}

@inproceedings{ClavelDEMS99,
  title = {Maude as a Formal Meta-tool},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and José Meseguer and Mark-Oliver Stehr},
  year = {1999},
  url = {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},
}

@article{ClavelDELMMQ00:0,
  title = {Towards Maude 2.0},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2000},
  url = {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},
}

@inproceedings{ClavelDELMMT07d,
  title = {A Hierarchy of Data Types: From Trees to Sets},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_5},
  url = {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},
}

@article{Marte-OlietM02,
  title = {Rewriting logic: roadmap and bibliography},
  author = {Narciso Martí-Oliet and José Meseguer},
  year = {2002},
  doi = {10.1016/S0304-3975(01)00357-7},
  url = {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},
}

@article{ClavelDELMMQ02,
  title = {Maude: specification and programming in rewriting logic},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2002},
  doi = {10.1016/S0304-3975(01)00359-0},
  url = {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},
}

@inproceedings{ClavelDELMMT07j,
  title = {LTL Model Checking},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_13},
  url = {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},
}

@article{MeseguerR02:0,
  title = {Towards Behavioral Maude: Behavioral Membership Equational Logic},
  author = {José Meseguer and Grigore Rosu},
  year = {2002},
  url = {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},
}

@article{OlveczkyMT06,
  title = {Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude},
  author = {Peter Csaba Ölveczky and José Meseguer and Carolyn L. Talcott},
  year = {2006},
  doi = {10.1007/s10703-006-0015-0},
  url = {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},
}

@inproceedings{ClavelDELMMT07k,
  title = {Reflection, Metalevel Computation, and Strategies},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_14},
  url = {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},
}

@inproceedings{Meseguer81,
  title = {A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes},
  author = {José Meseguer},
  year = {1981},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Meseguer81},
  cites = {0},
  citedby = {0},
  pages = {152-168},
  booktitle = {icfpc},
}

@article{LucasM08:0,
  title = {Termination of just/fair computations in term rewriting},
  author = {Salvador Lucas and José Meseguer},
  year = {2008},
  doi = {10.1016/j.ic.2007.11.002},
  url = {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},
}

@article{OlveczkyM07a,
  title = {Abstraction and Completeness for Real-Time Maude},
  author = {Peter Csaba Ölveczky and José Meseguer},
  year = {2007},
  doi = {10.1016/j.entcs.2007.06.005},
  url = {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},
}

@inproceedings{ClavelDELMMT07h,
  title = {Object-Based Programming},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_11},
  url = {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},
}

@inproceedings{ClavelDELMMTRV07,
  title = {Mobile Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Adrián Riesco and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_16},
  url = {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},
}

@article{EkerMS02,
  title = {The Maude LTL Model Checker},
  author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
  year = {2002},
  url = {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},
}

@inproceedings{ClavelDELMMTPV07a,
  title = {Specifying Parameterized Data Structures in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_10},
  url = {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},
}

@inproceedings{ClavelDELMMQ99,
  title = {The Maude System},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {1999},
  url = {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},
}

@article{MeseguerR07,
  title = {The rewriting logic semantics project},
  author = {José Meseguer and Grigore Rosu},
  year = {2007},
  doi = {10.1016/j.tcs.2006.12.018},
  url = {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},
}

@inproceedings{LucasM05,
  title = {Termination of Fair Computations in Term Rewriting},
  author = {Salvador Lucas and José Meseguer},
  year = {2005},
  doi = {10.1007/11591191_14},
  url = {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},
}

@article{MeseguerR06,
  title = {The Rewriting Logic Semantics Project},
  author = {José Meseguer and Grigore Rosu},
  year = {2006},
  doi = {10.1016/j.entcs.2005.10.027},
  url = {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},
}

@inproceedings{DuranLM08,
  title = {MTT: The Maude Termination Tool (System Description)},
  author = {Francisco Durán and Salvador Lucas and José Meseguer},
  year = {2008},
  doi = {10.1007/978-3-540-71070-7_27},
  url = {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},
}

@article{SerbanutaRM09,
  title = {A rewriting logic approach to operational semantics},
  author = {Traian-Florin Serbanuta and Grigore Rosu and José Meseguer},
  year = {2009},
  doi = {10.1016/j.ic.2008.03.026},
  url = {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},
}

@inproceedings{ClavelDELMMT07m,
  title = {User Interfaces and Metalanguage Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_17},
  url = {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},
}

@inproceedings{ClavelDELMMT07i,
  title = {Model Checking Invariants Through Search},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_12},
  url = {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},
}

@inproceedings{EkerMS03,
  title = {The Maude LTL Model Checker and Its Implementation},
  author = {Steven Eker and José Meseguer and Ambarish Sridharanarayanan},
  year = {2003},
  url = {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},
}

@inproceedings{ClavelDHLMO07,
  title = {The Maude Formal Tool Environment},
  author = {Manuel Clavel and Francisco Durán and Joe Hendrix and Salvador Lucas and José Meseguer and Peter Csaba Ölveczky},
  year = {2007},
  doi = {10.1007/978-3-540-73859-6_12},
  url = {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},
}

@inproceedings{BruniMMS03,
  title = {Algebraic Theories for Contextual Pre-nets},
  author = {Roberto Bruni and José Meseguer and Ugo Montanari and Vladimiro Sassone},
  year = {2003},
  url = {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},
}

@inproceedings{MeseguerR04,
  title = {Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools},
  author = {José Meseguer and Grigore Rosu},
  year = {2004},
  url = {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},
}
@proceedings{amast:2008,
  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 = {José Meseguer and Grigore Rosu},
  volume = {5140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79979-5},
}

@proceedings{maude:2007,
  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 = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}