Search dblp for Publications

export results for "stream:streams/conf/wrla:"

 download as .bib file

@inproceedings{DBLP:conf/wrla/DoREO22,
  author       = {Canh Minh Do and
                  Adri{\'{a}}n Riesco and
                  Santiago Escobar and
                  Kazuhiro Ogata},
  editor       = {Kyungmin Bae},
  title        = {Parallel Maude-NPA for Cryptographic Protocol Analysis},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {253--273},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_13},
  doi          = {10.1007/978-3-031-12441-9\_13},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DoREO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranFRSZ22,
  author       = {Francisco Dur{\'{a}}n and
                  Yli{\`{e}}s Falcone and
                  Camilo Rocha and
                  Gwen Sala{\"{u}}n and
                  Ahang Zuo},
  editor       = {Kyungmin Bae},
  title        = {From Static to Dynamic Analysis and Allocation of Resources for {BPMN}
                  Processes},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_1},
  doi          = {10.1007/978-3-031-12441-9\_1},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranFRSZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranMR22,
  author       = {Francisco Dur{\'{a}}n and
                  Daniela Mart{\'{\i}}nez and
                  Camilo Rocha},
  editor       = {Kyungmin Bae},
  title        = {Business Processes Analysis with Resource-Aware Machine Learning Scheduling
                  in Rewriting Logic},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {113--129},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_6},
  doi          = {10.1007/978-3-031-12441-9\_6},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/HansenO22,
  author       = {Simon Thrane Hansen and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Kyungmin Bae},
  title        = {Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation
                  in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {130--150},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_7},
  doi          = {10.1007/978-3-031-12441-9\_7},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/HansenO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Lopez-RuedaE22,
  author       = {Ra{\'{u}}l L{\'{o}}pez{-}Rueda and
                  Santiago Escobar},
  editor       = {Kyungmin Bae},
  title        = {Canonical Narrowing with Irreducibility and {SMT} Constraints as a
                  Generic Symbolic Protocol Analysis Method},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {45--64},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_3},
  doi          = {10.1007/978-3-031-12441-9\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Lopez-RuedaE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Lopez-RuedaEM22,
  author       = {Ra{\'{u}}l L{\'{o}}pez{-}Rueda and
                  Santiago Escobar and
                  Jos{\'{e}} Meseguer},
  editor       = {Kyungmin Bae},
  title        = {An Efficient Canonical Narrowing Implementation for Protocol Analysis},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {151--170},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_8},
  doi          = {10.1007/978-3-031-12441-9\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Lopez-RuedaEM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Meseguer22,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Kyungmin Bae},
  title        = {Checking Sufficient Completeness by Inductive Theorem Proving},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {171--190},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_9},
  doi          = {10.1007/978-3-031-12441-9\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Meseguer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/MeseguerS22,
  author       = {Jos{\'{e}} Meseguer and
                  Stephen Skeirik},
  editor       = {Kyungmin Bae},
  title        = {On Ground Convergence and Completeness of Conditional Equational Program
                  Hierarchies},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {191--211},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_10},
  doi          = {10.1007/978-3-031-12441-9\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MeseguerS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Modersheim22,
  author       = {Sebastian M{\"{o}}dersheim},
  editor       = {Kyungmin Bae},
  title        = {Rewriting Privacy},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {22--41},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_2},
  doi          = {10.1007/978-3-031-12441-9\_2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/Modersheim22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/NigamT22,
  author       = {Vivek Nigam and
                  Carolyn L. Talcott},
  editor       = {Kyungmin Bae},
  title        = {Automating Safety Proofs About Cyber-Physical Systems Using Rewriting
                  Modulo {SMT}},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {212--229},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_11},
  doi          = {10.1007/978-3-031-12441-9\_11},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/NigamT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Olveczky22,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Kyungmin Bae},
  title        = {Teaching Formal Methods to Undergraduate Students Using Maude},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {85--110},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_5},
  doi          = {10.1007/978-3-031-12441-9\_5},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Olveczky22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RestrepoP22,
  author       = {Carlos Alberto Ram{\'{\i}}rez Restrepo and
                  Jorge A. P{\'{e}}rez},
  editor       = {Kyungmin Bae},
  title        = {Executable Semantics and Type Checking for Session-Based Concurrency
                  in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {230--250},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_12},
  doi          = {10.1007/978-3-031-12441-9\_12},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RestrepoP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Rubio22,
  author       = {Rub{\'{e}}n Rubio},
  editor       = {Kyungmin Bae},
  title        = {An Overview of the Maude Strategy Language and its Applications},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {65--84},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_4},
  doi          = {10.1007/978-3-031-12441-9\_4},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Rubio22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Rubio22a,
  author       = {Rub{\'{e}}n Rubio},
  editor       = {Kyungmin Bae},
  title        = {Maude as a Library: An Efficient All-Purpose Programming Interface},
  booktitle    = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  pages        = {274--294},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9\_14},
  doi          = {10.1007/978-3-031-12441-9\_14},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Rubio22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2022,
  editor       = {Kyungmin Bae},
  title        = {Rewriting Logic and Its Applications - 14th International Workshop,
                  WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13252},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-12441-9},
  doi          = {10.1007/978-3-031-12441-9},
  isbn         = {978-3-031-12440-2},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/0002LR20,
  author       = {Xiaohong Chen and
                  Dorel Lucanu and
                  Grigore Rosu},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Connecting Constrained Constructor Patterns and Matching Logic},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {19--37},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_2},
  doi          = {10.1007/978-3-030-63595-4\_2},
  timestamp    = {Mon, 14 Dec 2020 17:03:10 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/0002LR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranRS20,
  author       = {Francisco Dur{\'{a}}n and
                  Camilo Rocha and
                  Gwen Sala{\"{u}}n},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Analysis of the Runtime Resource Provisioning of {BPMN} Processes
                  Using Maude},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {38--56},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_3},
  doi          = {10.1007/978-3-030-63595-4\_3},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/MarinDK20,
  author       = {Mircea Marin and
                  Besik Dundua and
                  Temur Kutsia},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {A Rule-Based System for Computation and Deduction in Mathematica},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {57--74},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_4},
  doi          = {10.1007/978-3-030-63595-4\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MarinDK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Meseguer20,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Variants in the Infinitary Unification Wonderland},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {75--95},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_5},
  doi          = {10.1007/978-3-030-63595-4\_5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Meseguer20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Meseguer20a,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Variant Satisfiability of Parameterized Strings},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {96--113},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_6},
  doi          = {10.1007/978-3-030-63595-4\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Meseguer20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/MeseguerS20,
  author       = {Jos{\'{e}} Meseguer and
                  Stephen Skeirik},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Inductive Reasoning with Equality Predicates, Contextual Rewriting
                  and Variant-Based Simplification},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {114--135},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_7},
  doi          = {10.1007/978-3-030-63595-4\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MeseguerS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/NigamT20,
  author       = {Vivek Nigam and
                  Carolyn L. Talcott},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Automated Construction of Security Integrity Wrappers for Industry
                  4.0 Applications},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {197--215},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_11},
  doi          = {10.1007/978-3-030-63595-4\_11},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/NigamT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/OkadaT20,
  author       = {Mitsuhiro Okada and
                  Yuta Takahashi},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {A Simplified Application of Howard's Vector Notation System to Termination
                  Proofs for Typed Lambda-Calculus Systems},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {136--155},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_8},
  doi          = {10.1007/978-3-030-63595-4\_8},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/OkadaT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RubioMPV20,
  author       = {Rub{\'{e}}n Rubio and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Isabel Pita and
                  Alberto Verdejo},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Strategies, Model Checking and Branching-Time Properties in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {156--175},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_9},
  doi          = {10.1007/978-3-030-63595-4\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RubioMPV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SkeirikMR20,
  author       = {Stephen Skeirik and
                  Jos{\'{e}} Meseguer and
                  Camilo Rocha},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Verification of the {IBOS} Browser Security Properties in Reachability
                  Logic},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {176--196},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_10},
  doi          = {10.1007/978-3-030-63595-4\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SkeirikMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/TourE20,
  author       = {Thierry Boy de la Tour and
                  Rachid Echahed},
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Combining Parallel Graph Rewriting and Quotient Graphs},
  booktitle    = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4\_1},
  doi          = {10.1007/978-3-030-63595-4\_1},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/TourE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2020,
  editor       = {Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Rewriting Logic and Its Applications - 13th International Workshop,
                  {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12328},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63595-4},
  doi          = {10.1007/978-3-030-63595-4},
  isbn         = {978-3-030-63594-7},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BoichutPR18,
  author       = {Yohan Boichut and
                  Vivien Pelletier and
                  Pierre R{\'{e}}ty},
  editor       = {Vlad Rusu},
  title        = {Approximating Any Logic Program by a CS-Program},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {245--260},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_14},
  doi          = {10.1007/978-3-319-99840-4\_14},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BoichutPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DownenJA18,
  author       = {Paul Downen and
                  Philip Johnson{-}Freyd and
                  Zena M. Ariola},
  editor       = {Vlad Rusu},
  title        = {Uniform Strong Normalization for Multi-discipline Calculi},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {205--225},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_12},
  doi          = {10.1007/978-3-319-99840-4\_12},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DownenJA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranEEMMT18,
  author       = {Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Vlad Rusu},
  title        = {Associative Unification and Symbolic Reasoning Modulo Associativity
                  in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {98--114},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_6},
  doi          = {10.1007/978-3-319-99840-4\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranEEMMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranMR18,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer and
                  Camilo Rocha},
  editor       = {Vlad Rusu},
  title        = {Proving Ground Confluence of Equational Specifications Modulo Axioms},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {184--204},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_11},
  doi          = {10.1007/978-3-319-99840-4\_11},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranRS18,
  author       = {Francisco Dur{\'{a}}n and
                  Camilo Rocha and
                  Gwen Sala{\"{u}}n},
  editor       = {Vlad Rusu},
  title        = {Symbolic Specification and Verification of Data-Aware {BPMN} Processes
                  Using Rewriting Modulo {SMT}},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {76--97},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_5},
  doi          = {10.1007/978-3-319-99840-4\_5},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Escobar18,
  author       = {Santiago Escobar},
  editor       = {Vlad Rusu},
  title        = {Multi-paradigm Programming in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {26--44},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_2},
  doi          = {10.1007/978-3-319-99840-4\_2},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/Escobar18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GaravelTA18,
  author       = {Hubert Garavel and
                  Mohammad{-}Ali Tabikh and
                  Imad{-}Seddik Arrada},
  editor       = {Vlad Rusu},
  title        = {Benchmarking Implementations of Term Rewriting and Pattern Matching
                  in Algebraic, Functional, and Object-Oriented Languages - The 4th
                  Rewrite Engines Competition},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_1},
  doi          = {10.1007/978-3-319-99840-4\_1},
  timestamp    = {Mon, 10 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/GaravelTA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GenetGHC18,
  author       = {Thomas Genet and
                  Tristan Gillard and
                  Timoth{\'{e}}e Haudebourg and
                  S{\'{e}}bastien L{\^{e}} Cong},
  editor       = {Vlad Rusu},
  title        = {Extending Timbuk to Verify Functional Programs},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {153--163},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_9},
  doi          = {10.1007/978-3-319-99840-4\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/GenetGHC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LiuOWM18,
  author       = {Si Liu and
                  Peter Csaba {\"{O}}lveczky and
                  Qi Wang and
                  Jos{\'{e}} Meseguer},
  editor       = {Vlad Rusu},
  title        = {Formal Modeling and Analysis of the Walter Transactional Data Store},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {136--152},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_8},
  doi          = {10.1007/978-3-319-99840-4\_8},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LiuOWM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/MartinVM18,
  author       = {{\'{O}}scar Mart{\'{\i}}n and
                  Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Vlad Rusu},
  title        = {Parameterized Programming for Compositional System Specification},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {59--75},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_4},
  doi          = {10.1007/978-3-319-99840-4\_4},
  timestamp    = {Wed, 22 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MartinVM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Meseguer18,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Vlad Rusu},
  title        = {Generalized Rewrite Theories and Coherence Completion},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {164--183},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_10},
  doi          = {10.1007/978-3-319-99840-4\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Meseguer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/OlartePR18,
  author       = {Carlos Olarte and
                  Elaine Pimentel and
                  Camilo Rocha},
  editor       = {Vlad Rusu},
  title        = {Proving Structural Properties of Sequent Systems in Rewriting Logic},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {115--135},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_7},
  doi          = {10.1007/978-3-319-99840-4\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/OlartePR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Ramirez0RV18,
  author       = {Sergio Ram{\'{\i}}rez and
                  Miguel Romero and
                  Camilo Rocha and
                  Frank Valencia},
  editor       = {Vlad Rusu},
  title        = {Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint
                  Programming},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {226--244},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_13},
  doi          = {10.1007/978-3-319-99840-4\_13},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Ramirez0RV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Riesco18,
  author       = {Adri{\'{a}}n Riesco},
  editor       = {Vlad Rusu},
  title        = {MUnit: {A} Unit Framework for Maude},
  booktitle    = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  pages        = {45--58},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4\_3},
  doi          = {10.1007/978-3-319-99840-4\_3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Riesco18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2018,
  editor       = {Vlad Rusu},
  title        = {Rewriting Logic and Its Applications - 12th International Workshop,
                  {WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
                  June 14-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11152},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99840-4},
  doi          = {10.1007/978-3-319-99840-4},
  isbn         = {978-3-319-99839-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BijoJPT16,
  author       = {Shiji Bijo and
                  Einar Broch Johnsen and
                  Ka I Pun and
                  Silvia Lizeth Tapia Tarifa},
  editor       = {Dorel Lucanu},
  title        = {A Maude Framework for Cache Coherent Multicore Architectures},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {47--63},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_3},
  doi          = {10.1007/978-3-319-44802-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BijoJPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BoichutPR16,
  author       = {Yohan Boichut and
                  Vivien Pelletier and
                  Pierre R{\'{e}}ty},
  editor       = {Dorel Lucanu},
  title        = {Synchronized Tree Languages for Reachability in Non-right-linear Term
                  Rewrite Systems},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_4},
  doi          = {10.1007/978-3-319-44802-2\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BoichutPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DantasLFN16,
  author       = {Yuri Gil Dantas and
                  Marcilio O. O. Lemos and
                  Iguatemi E. Fonseca and
                  Vivek Nigam},
  editor       = {Dorel Lucanu},
  title        = {Formal Specification and Verification of a Selective Defense for TDoS
                  Attacks},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_5},
  doi          = {10.1007/978-3-319-44802-2\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DantasLFN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/FernandezKPV16,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud and
                  Jason Vallet},
  editor       = {Dorel Lucanu},
  title        = {Labelled Graph Rewriting Meets Social Networks},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_1},
  doi          = {10.1007/978-3-319-44802-2\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/FernandezKPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Lucas16,
  author       = {Salvador Lucas},
  editor       = {Dorel Lucanu},
  title        = {Use of Logical Models for Proving Operational Termination in General
                  Logics},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {26--46},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_2},
  doi          = {10.1007/978-3-319-44802-2\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Lucas16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/MartinVM16,
  author       = {{\'{O}}scar Mart{\'{\i}}n and
                  Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Dorel Lucanu},
  title        = {Egalitarian State-Transition Systems},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {98--117},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_6},
  doi          = {10.1007/978-3-319-44802-2\_6},
  timestamp    = {Wed, 22 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MartinVM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Moreno-DelgadoD16,
  author       = {Antonio Moreno{-}Delgado and
                  Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Dorel Lucanu},
  title        = {Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_7},
  doi          = {10.1007/978-3-319-44802-2\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Moreno-DelgadoD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RusuA16,
  author       = {Vlad Rusu and
                  Andrei Arusoaie},
  editor       = {Dorel Lucanu},
  title        = {Proving Reachability-Logic Formulas Incrementally},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_8},
  doi          = {10.1007/978-3-319-44802-2\_8},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RusuA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SerbanutaD16,
  author       = {Traian{-}Florin Serbanuta and
                  Liviu P. Dinu},
  editor       = {Dorel Lucanu},
  title        = {Maximally Parallel Contextual String Rewriting},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_9},
  doi          = {10.1007/978-3-319-44802-2\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SerbanutaD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SkeirikM16,
  author       = {Stephen Skeirik and
                  Jos{\'{e}} Meseguer},
  editor       = {Dorel Lucanu},
  title        = {Metalevel Algorithms for Variant Satisfiability},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {167--184},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_10},
  doi          = {10.1007/978-3-319-44802-2\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SkeirikM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2016,
  editor       = {Dorel Lucanu},
  title        = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2},
  doi          = {10.1007/978-3-319-44802-2},
  isbn         = {978-3-319-44801-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/0002CO14,
  author       = {Min Zhang and
                  Yunja Choi and
                  Kazuhiro Ogata},
  editor       = {Santiago Escobar},
  title        = {A Formal Semantics of the {OSEK/VDX} Standard in {\textdollar}{\textdollar}\{{\textbackslash}mathbb
                  \{K\}\}{\textdollar}{\textdollar} Framework and Its Applications},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {280--296},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_16},
  doi          = {10.1007/978-3-319-12904-4\_16},
  timestamp    = {Tue, 10 Nov 2020 12:25:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/0002CO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AguirreMPP14,
  author       = {Luis Aguirre and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino and
                  Isabel Pita},
  editor       = {Santiago Escobar},
  title        = {Conditional Narrowing Modulo in Rewriting Logic and Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_4},
  doi          = {10.1007/978-3-319-12904-4\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/AguirreMPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AlrahmanABL14,
  author       = {Yehia Abd Alrahman and
                  Marina Andric and
                  Alessandro Beggiato and
                  Alberto Lluch{-}Lafuente},
  editor       = {Santiago Escobar},
  title        = {Can We Efficiently Check Concurrent Programs Under Relaxed Memory
                  Models in Maude?},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {21--41},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_2},
  doi          = {10.1007/978-3-319-12904-4\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/AlrahmanABL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/ArusoaieLRSSR14,
  author       = {Andrei Arusoaie and
                  Dorel Lucanu and
                  Vlad Rusu and
                  Traian{-}Florin Serbanuta and
                  Andrei Stefanescu and
                  Grigore Rosu},
  editor       = {Santiago Escobar},
  title        = {Language Definitions as Rewrite Theories},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_5},
  doi          = {10.1007/978-3-319-12904-4\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/ArusoaieLRSSR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeM14,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {Infinite-State Model Checking of {LTLR} Formulas Using Narrowing},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {113--129},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_6},
  doi          = {10.1007/978-3-319-12904-4\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BaeM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BartolettiMSZ14,
  author       = {Massimo Bartoletti and
                  Maurizio Murgia and
                  Alceste Scalas and
                  Roberto Zunino},
  editor       = {Santiago Escobar},
  title        = {Modelling and Verifying Contract-Oriented Systems in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {130--146},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_7},
  doi          = {10.1007/978-3-319-12904-4\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BartolettiMSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Duran14,
  author       = {Francisco Dur{\'{a}}n},
  editor       = {Santiago Escobar},
  title        = {Composition of Graph-Transformation-Based {DSL} Definitions by Amalgamation},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_1},
  doi          = {10.1007/978-3-319-12904-4\_1},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Duran14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Genet14,
  author       = {Thomas Genet},
  editor       = {Santiago Escobar},
  title        = {Towards Static Analysis of Functional Programs Using Tree Automata
                  Completion},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_8},
  doi          = {10.1007/978-3-319-12904-4\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Genet14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LiuOM14,
  author       = {Si Liu and
                  Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {A Framework for Mobile Ad hoc Networks in Real-Time Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {162--177},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_9},
  doi          = {10.1007/978-3-319-12904-4\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LiuOM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LucasM14,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {Strong and Weak Operational Termination of Order-Sorted Rewrite Theories},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {178--194},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_10},
  doi          = {10.1007/978-3-319-12904-4\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LucasM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LucasM14a,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {2D Dependency Pairs for Proving Operational Termination of CTRSs},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_11},
  doi          = {10.1007/978-3-319-12904-4\_11},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LucasM14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/MossesV14,
  author       = {Peter D. Mosses and
                  Ferdinand Vesely},
  editor       = {Santiago Escobar},
  title        = {FunKons: Component-Based Semantics in {K}},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {213--229},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_12},
  doi          = {10.1007/978-3-319-12904-4\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MossesV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Olveczky14,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Santiago Escobar},
  title        = {Real-Time Maude and Its Applications},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {42--79},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_3},
  doi          = {10.1007/978-3-319-12904-4\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Olveczky14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Riesco14,
  author       = {Adri{\'{a}}n Riesco},
  editor       = {Santiago Escobar},
  title        = {An Integration of CafeOBJ into Full Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {230--246},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_13},
  doi          = {10.1007/978-3-319-12904-4\_13},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Riesco14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RochaMM14,
  author       = {Camilo Rocha and
                  Jos{\'{e}} Meseguer and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Santiago Escobar},
  title        = {Rewriting Modulo {SMT} and Open System Analysis},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {247--262},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_14},
  doi          = {10.1007/978-3-319-12904-4\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RochaMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SunM14,
  author       = {Mu Sun and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {Formal Specification of Button-Related Fault-Tolerance Micropatterns},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {263--279},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_15},
  doi          = {10.1007/978-3-319-12904-4\_15},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SunM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2014,
  editor       = {Santiago Escobar},
  title        = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4},
  doi          = {10.1007/978-3-319-12904-4},
  isbn         = {978-3-319-12903-7},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/ArusoaieSER12,
  author       = {Andrei Arusoaie and
                  Traian{-}Florin Serbanuta and
                  Chucky Ellison and
                  Grigore Rosu},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Making Maude Definitions More Interactive},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_5},
  doi          = {10.1007/978-3-642-34005-5\_5},
  timestamp    = {Mon, 28 Jun 2021 11:09:20 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/ArusoaieSER12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeM12,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Model Checking {LTLR} Formulas under Localized Fairness},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {99--117},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_6},
  doi          = {10.1007/978-3-642-34005-5\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BaeM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BasuBBS12,
  author       = {Ananda Basu and
                  Saddek Bensalem and
                  Marius Bozga and
                  Joseph Sifakis},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Rigorous Component-Based System Design - (Invited Paper)},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_1},
  doi          = {10.1007/978-3-642-34005-5\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BasuBBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BruniCGLV12,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Modelling and Analyzing Adaptive Self-assembly Strategies with Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {118--138},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_7},
  doi          = {10.1007/978-3-642-34005-5\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BruniCGLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/FadlisyahOA12,
  author       = {Muhammad Fadlisyah and
                  Peter Csaba {\"{O}}lveczky and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Formal Modeling and Analysis of Human Body Exposure to Extreme Heat
                  in HI-Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {139--161},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_8},
  doi          = {10.1007/978-3-642-34005-5\_8},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/FadlisyahOA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GutierrezMR12,
  author       = {Ra{\'{u}}l Guti{\'{e}}rrez and
                  Jos{\'{e}} Meseguer and
                  Camilo Rocha},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Order-Sorted Equality Enrichments Modulo Axioms},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {162--181},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_9},
  doi          = {10.1007/978-3-642-34005-5\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/GutierrezMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/HillsKV12,
  author       = {Mark Hills and
                  Paul Klint and
                  Jurgen J. Vinju},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Program Analysis Scenarios in Rascal},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {10--30},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_2},
  doi          = {10.1007/978-3-642-34005-5\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/HillsKV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LepriAO12,
  author       = {Daniela Lepri and
                  Erika {\'{A}}brah{\'{a}}m and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Timed {CTL} Model Checking in Real-Time Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {182--200},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_10},
  doi          = {10.1007/978-3-642-34005-5\_10},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LepriAO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/LucanuSR12,
  author       = {Dorel Lucanu and
                  Traian{-}Florin Serbanuta and
                  Grigore Rosu},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {K Framework Distilled},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {31--53},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_3},
  doi          = {10.1007/978-3-642-34005-5\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LucanuSR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Riesco12,
  author       = {Adri{\'{a}}n Riesco},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Using Narrowing to Test Maude Specifications},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {201--220},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_11},
  doi          = {10.1007/978-3-642-34005-5\_11},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Riesco12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/TushkanovaGRK12,
  author       = {Elena Tushkanova and
                  Alain Giorgetti and
                  Christophe Ringeissen and
                  Olga Kouchnarenko},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {A Rule-Based Framework for Building Superposition-Based Decision Procedures},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {221--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_12},
  doi          = {10.1007/978-3-642-34005-5\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/TushkanovaGRK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/WirsingEMM12,
  author       = {Martin Wirsing and
                  Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Jos{\'{e}} Meseguer},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Design and Analysis of Cloud-Based Architectures with {KLAIM} and
                  Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {54--82},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_4},
  doi          = {10.1007/978-3-642-34005-5\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/WirsingEMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2012,
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5},
  doi          = {10.1007/978-3-642-34005-5},
  isbn         = {978-3-642-34004-8},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AlarconLM10,
  author       = {Beatriz Alarc{\'{o}}n and
                  Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {A Dependency Pair Framework for \emph{A} {OR} \emph{C}-Termination},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {35--51},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_4},
  doi          = {10.1007/978-3-642-16310-4\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/AlarconLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AsavoaeA10,
  author       = {Irina Mariuca Asavoae and
                  Mihail Asavoae},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Collecting Semantics under Predicate Abstraction in the {K} Framework},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {123--139},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_9},
  doi          = {10.1007/978-3-642-16310-4\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/AsavoaeA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeM10,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {The Linear Temporal Logic of Rewriting Maude Model Checker},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {208--225},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_14},
  doi          = {10.1007/978-3-642-16310-4\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BaeM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranM10,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {A Church-Rosser Checker Tool for Conditional Order-Sorted Equational
                  Maude Specifications},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {69--85},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_6},
  doi          = {10.1007/978-3-642-16310-4\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranM10a,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite
                  Theories},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {86--103},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_7},
  doi          = {10.1007/978-3-642-16310-4\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranM10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranRBBBCEEJK10,
  author       = {Francisco Dur{\'{a}}n and
                  Manuel Rold{\'{a}}n and
                  Jean{-}Christophe Bach and
                  Emilie Balland and
                  Mark van den Brand and
                  James R. Cordy and
                  Steven Eker and
                  Luc Engelen and
                  Maartje de Jonge and
                  Karl Trygve Kalleberg and
                  Lennart C. L. Kats and
                  Pierre{-}Etienne Moreau and
                  Eelco Visser},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {The Third Rewrite Engines Competition},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {243--261},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_16},
  doi          = {10.1007/978-3-642-16310-4\_16},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DuranRBBBCEEJK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/EscobarSM10,
  author       = {Santiago Escobar and
                  Ralf Sasse and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Folding Variant Narrowing and Optimal Variant Termination},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {52--68},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_5},
  doi          = {10.1007/978-3-642-16310-4\_5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/EscobarSM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/GutierrezL10,
  author       = {Ra{\'{u}}l Guti{\'{e}}rrez and
                  Salvador Lucas},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Proving Termination in the Context-Sensitive Dependency Pair Framework},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_3},
  doi          = {10.1007/978-3-642-16310-4\_3},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/GutierrezL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/KatelmanKM10,
  author       = {Michael Katelman and
                  Sean Keller and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Concurrent Rewriting Semantics and Analysis of Asynchronous Digital
                  Circuits},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {140--156},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_10},
  doi          = {10.1007/978-3-642-16310-4\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/KatelmanKM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Meseguer10,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Twenty Years of Rewriting Logic},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {15--17},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_2},
  doi          = {10.1007/978-3-642-16310-4\_2},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Meseguer10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RiescoVM10,
  author       = {Adri{\'{a}}n Riesco and
                  Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Enhancing the Debugging of Maude Specifications},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {226--242},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_15},
  doi          = {10.1007/978-3-642-16310-4\_15},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RiescoVM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RiveraDV10,
  author       = {Jos{\'{e}} Eduardo Rivera and
                  Francisco Dur{\'{a}}n and
                  Antonio Vallecillo},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {On the Behavioral Semantics of Real-Time Domain Specific Visual Languages},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {174--190},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_12},
  doi          = {10.1007/978-3-642-16310-4\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RiveraDV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SerbanutaR10,
  author       = {Traian{-}Florin Serbanuta and
                  Grigore Rosu},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {K-Maude: {A} Rewriting Based Tool for Semantics of Programming Languages},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {104--122},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_8},
  doi          = {10.1007/978-3-642-16310-4\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SerbanutaR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Shankar10,
  author       = {Natarajan Shankar},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Rewriting, Inference, and Proof},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_1},
  doi          = {10.1007/978-3-642-16310-4\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Shankar10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SunMS10,
  author       = {Mu Sun and
                  Jos{\'{e}} Meseguer and
                  Lui Sha},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {A Formal Pattern Architecture for Safe Medical Systems},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {157--173},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_11},
  doi          = {10.1007/978-3-642-16310-4\_11},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SunMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Velardo10,
  author       = {Fernando Rosa{-}Velardo},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Multiset Rewriting: {A} Semantic Framework for Concurrency with Name
                  Binding},
  booktitle    = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  pages        = {191--207},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4\_13},
  doi          = {10.1007/978-3-642-16310-4\_13},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/Velardo10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2010,
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Rewriting Logic and Its Applications - 8th International Workshop,
                  {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
                  March 20-21, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6381},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16310-4},
  doi          = {10.1007/978-3-642-16310-4},
  isbn         = {978-3-642-16309-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2008,
  editor       = {Grigore Rosu},
  title        = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/238/issue/3},
  timestamp    = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AgrigoroaieiC09,
  author       = {Oana Agrigoroaiei and
                  Gabriel Ciobanu},
  editor       = {Grigore Rosu},
  title        = {Rewriting Logic Specification of Membrane Systems with Promoters and
                  Inhibitors},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {5--22},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.010},
  doi          = {10.1016/J.ENTCS.2009.05.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AgrigoroaieiC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiL09,
  author       = {Oana Andrei and
                  Dorel Lucanu},
  editor       = {Grigore Rosu},
  title        = {Strategy-Based Proof Calculus for Membrane Systems},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {23--43},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.011},
  doi          = {10.1016/J.ENTCS.2009.05.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndreiL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniLM09,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  editor       = {Grigore Rosu},
  title        = {Hierarchical Design Rewriting with Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {45--62},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.012},
  doi          = {10.1016/J.ENTCS.2009.05.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaballeroMRV09,
  author       = {Rafael Caballero and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Grigore Rosu},
  title        = {A Declarative Debugger for Maude Functional Modules},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {63--81},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.013},
  doi          = {10.1016/J.ENTCS.2009.05.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaballeroMRV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranO09,
  author       = {Francisco Dur{\'{a}}n and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Grigore Rosu},
  title        = {A Guide to Extending Full Maude Illustrated with the Implementation
                  of Real-Time Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {83--102},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.014},
  doi          = {10.1016/J.ENTCS.2009.05.014},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranRBBEKKMSV09,
  author       = {Francisco Dur{\'{a}}n and
                  Manuel Rold{\'{a}}n and
                  Emilie Balland and
                  Mark van den Brand and
                  Steven Eker and
                  Karl Trygve Kalleberg and
                  Lennart C. L. Kats and
                  Pierre{-}Etienne Moreau and
                  Ruslan Schevchenko and
                  Eelco Visser},
  editor       = {Grigore Rosu},
  title        = {The Second Rewrite Engines Competition},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {281--291},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.025},
  doi          = {10.1016/J.ENTCS.2009.05.025},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranRBBEKKMSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EscobarMS09,
  author       = {Santiago Escobar and
                  Jos{\'{e}} Meseguer and
                  Ralf Sasse},
  editor       = {Grigore Rosu},
  title        = {Variant Narrowing and Equational Unification},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {103--119},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.015},
  doi          = {10.1016/J.ENTCS.2009.05.015},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/EscobarMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoriacCLAG09,
  author       = {Eugen{-}Ioan Goriac and
                  Georgiana Caltais and
                  Dorel Lucanu and
                  Oana Andrei and
                  Gheorghe Grigoras},
  editor       = {Grigore Rosu},
  title        = {Patterns for Maude Metalanguage Applications},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {121--138},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.016},
  doi          = {10.1016/J.ENTCS.2009.05.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoriacCLAG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HassN09,
  author       = {Lars Helge Ha{\ss} and
                  Thomas Noll},
  editor       = {Grigore Rosu},
  title        = {Equational Abstractions for Reducing the State Space of Rewrite Theories},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {139--154},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.017},
  doi          = {10.1016/J.ENTCS.2009.05.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HassN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hills09,
  author       = {Mark Hills},
  editor       = {Grigore Rosu},
  title        = {Memory Representations in Rewriting Logic Semantics Definitions},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {155--172},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.018},
  doi          = {10.1016/J.ENTCS.2009.05.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hills09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HolenJW09,
  author       = {Bjarne Holen and
                  Einar Broch Johnsen and
                  Arild Waaler},
  editor       = {Grigore Rosu},
  title        = {Proof Search for the First-Order Connection Calculus in Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {173--188},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.019},
  doi          = {10.1016/J.ENTCS.2009.05.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HolenJW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HolzlMW09,
  author       = {Matthias M. H{\"{o}}lzl and
                  Max Meier and
                  Martin Wirsing},
  editor       = {Grigore Rosu},
  title        = {Which Soft Constraints do you Prefer?},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {189--205},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.020},
  doi          = {10.1016/J.ENTCS.2009.05.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HolzlMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucasM09,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Grigore Rosu},
  title        = {Operational Termination of Membership Equational Programs: the Order-Sorted
                  Way},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {207--225},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.021},
  doi          = {10.1016/J.ENTCS.2009.05.021},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LucasM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietMV09,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Alberto Verdejo},
  editor       = {Grigore Rosu},
  title        = {A Rewriting Semantics for Maude Strategies},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {227--247},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.022},
  doi          = {10.1016/J.ENTCS.2009.05.022},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-OlietMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RiescoV09,
  author       = {Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Grigore Rosu},
  title        = {Implementing and analyzing in Maude the Enhanced Interior Gateway
                  Routing Protocol},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {249--266},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.023},
  doi          = {10.1016/J.ENTCS.2009.05.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RiescoV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rodriguez09,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Grigore Rosu},
  title        = {Combining Techniques to Reduce State Space and Prove Strong Properties},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {267--280},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.024},
  doi          = {10.1016/J.ENTCS.2009.05.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rosu09,
  author       = {Grigore Rosu},
  editor       = {Grigore Rosu},
  title        = {Preface},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.009},
  doi          = {10.1016/J.ENTCS.2009.05.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rosu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2006,
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/176/issue/4},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChalubB07,
  author       = {Fabricio Chalub and
                  Christiano Braga},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Maude {MSOS} Tool},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {133--146},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.012},
  doi          = {10.1016/J.ENTCS.2007.06.012},
  timestamp    = {Tue, 24 Jan 2023 12:37:22 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChalubB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaHW07,
  author       = {Horatiu Cirstea and
                  Cl{\'{e}}ment Houtmann and
                  Benjamin Wack},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Distributive rho-calculus},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {95--111},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.010},
  doi          = {10.1016/J.ENTCS.2007.06.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerT07,
  author       = {Grit Denker and
                  Carolyn L. Talcott},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Preface},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.004},
  doi          = {10.1016/J.ENTCS.2007.06.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerTRBES07,
  author       = {Grit Denker and
                  Carolyn L. Talcott and
                  Grigore Rosu and
                  Mark van den Brand and
                  Steven Eker and
                  Traian{-}Florin Serbanuta},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Rewriting Logic Systems},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {233--247},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.018},
  doi          = {10.1016/J.ENTCS.2007.06.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerTRBES07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranRV07,
  author       = {Francisco Dur{\'{a}}n and
                  Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Distributed Implementation of Mobile Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {113--131},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.011},
  doi          = {10.1016/J.ENTCS.2007.06.011},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranRV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FarzanM07,
  author       = {Azadeh Farzan and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Partial Order Reduction for Rewriting Semantics of Programming Languages},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {61--78},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.008},
  doi          = {10.1016/J.ENTCS.2007.06.008},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FarzanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HillsSR07,
  author       = {Mark Hills and
                  Traian Serbanuta and
                  Grigore Rosu},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Rewrite Framework for Language Definitions and for Generation of
                  Efficient Interpreters},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {215--231},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.017},
  doi          = {10.1016/J.ENTCS.2007.06.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HillsSR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KatelmanM07,
  author       = {Michael Katelman and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Rewriting Semantics for {ABEL} with Applications to Hardware/Software
                  Co-Design and Analysis},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {47--60},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.007},
  doi          = {10.1016/J.ENTCS.2007.06.007},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KatelmanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NeuhausserN07,
  author       = {Martin R. Neuh{\"{a}}u{\ss}er and
                  Thomas Noll},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Abstraction and Model Checking of Core Erlang Programs in Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {147--163},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.013},
  doi          = {10.1016/J.ENTCS.2007.06.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NeuhausserN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlveczkyM07a,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Abstraction and Completeness for Real-Time Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {5--27},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.005},
  doi          = {10.1016/J.ENTCS.2007.06.005},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/OlveczkyM07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Reilles07,
  author       = {Antoine Reilles},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Canonical Abstract Syntax Trees},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {165--179},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.014},
  doi          = {10.1016/J.ENTCS.2007.06.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reilles07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rodriguez07,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {On Modelling Sensor Networks in Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {199--213},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.016},
  doi          = {10.1016/J.ENTCS.2007.06.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Santos-GarciaP07,
  author       = {Gustavo Santos{-}Garc{\'{\i}}a and
                  Miguel Palomino},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Solving Sudoku Puzzles with Rewriting Rules},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {79--93},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.009},
  doi          = {10.1016/J.ENTCS.2007.06.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Santos-GarciaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SasseM07,
  author       = {Ralf Sasse and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Java+ITP: {A} Verification Tool Based on Hoare Logic and Algebraic
                  Semantics},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {29--46},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.006},
  doi          = {10.1016/J.ENTCS.2007.06.006},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/SasseM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WirsingDTPB07,
  author       = {Martin Wirsing and
                  Grit Denker and
                  Carolyn L. Talcott and
                  Andy Poggio and
                  Linda Briesemeister},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Rewriting Logic Framework for Soft Constraints},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {181--197},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.015},
  doi          = {10.1016/J.ENTCS.2007.06.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WirsingDTPB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2004,
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/117/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArrighiD05,
  author       = {Pablo Arrighi and
                  Gilles Dowek},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {A Computational Definition of the Notion of Vectorial Space},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {249--261},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.013},
  doi          = {10.1016/J.ENTCS.2004.06.013},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArrighiD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaM05,
  author       = {Christiano Braga and
                  Jos{\'{e}} Meseguer},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Modular Rewriting Semantics in Practice},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {393--416},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.019},
  doi          = {10.1016/J.ENTCS.2004.06.019},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BragaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CenciarelliTT05,
  author       = {Pietro Cenciarelli and
                  Ivano Talamo and
                  Alessandro Tiberi},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Ambient Graph Rewriting},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {335--351},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.017},
  doi          = {10.1016/J.ENTCS.2004.06.017},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CenciarelliTT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CervesatoS05,
  author       = {Iliano Cervesato and
                  Mark{-}Oliver Stehr},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Representing the {MSR} Cryptoprotocol Specification Language in an
                  Extension of Rewriting Logic with Dependent Types},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {183--207},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.023},
  doi          = {10.1016/J.ENTCS.2004.06.023},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CervesatoS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuL05,
  author       = {Gabriel Ciobanu and
                  Dorel Lucanu},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Communicating Concurrent Objects in HiddenCCS},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {353--373},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.018},
  doi          = {10.1016/J.ENTCS.2004.06.018},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CiobanuL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaFK05,
  author       = {Horatiu Cirstea and
                  Germain Faure and
                  Claude Kirchner},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {A rho-Calculus of Explicit Constraint Application},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {51--67},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.029},
  doi          = {10.1016/J.ENTCS.2004.06.029},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaFK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaMR05,
  author       = {Horatiu Cirstea and
                  Pierre{-}Etienne Moreau and
                  Antoine Reilles},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Rule-based Programming in Java For Protocol Verification},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {209--227},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.022},
  doi          = {10.1016/J.ENTCS.2004.06.022},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerT05,
  author       = {Grit Denker and
                  Carolyn L. Talcott},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Formal Checklists for Remote Agent Dependability},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {229--248},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.021},
  doi          = {10.1016/J.ENTCS.2004.06.021},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranEL05,
  author       = {Francisco Dur{\'{a}}n and
                  Santiago Escobar and
                  Salvador Lucas},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {New Evaluation Commands for Maude Within Full Maude},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {263--284},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.014},
  doi          = {10.1016/J.ENTCS.2004.06.014},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranEL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsenOA05,
  author       = {Einar Broch Johnsen and
                  Olaf Owe and
                  Eyvind W. Axelsen},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {A Run-Time Environment for Concurrent Objects With Asynchronous Method
                  Calls},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {375--392},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.012},
  doi          = {10.1016/J.ENTCS.2004.06.012},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JohnsenOA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiquoriW05,
  author       = {Luigi Liquori and
                  Benjamin Wack},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {89--111},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.027},
  doi          = {10.1016/J.ENTCS.2004.06.027},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LiquoriW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lopez-FraguasRV05,
  author       = {Francisco Javier L{\'{o}}pez{-}Fraguas and
                  Mario Rodr{\'{\i}}guez{-}Artalejo and
                  Rafael del Vado V{\'{\i}}rseda},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Constraint Functional Logic Programming Revisited},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {5--50},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.030},
  doi          = {10.1016/J.ENTCS.2004.06.030},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lopez-FraguasRV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-Oliet05,
  author       = {Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {1--4},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.003},
  doi          = {10.1016/J.ENTCS.2004.07.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-Oliet05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietMV05,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Alberto Verdejo},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Towards a Strategy Language for Maude},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {417--441},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.020},
  doi          = {10.1016/J.ENTCS.2004.06.020},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-OlietMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasonT05,
  author       = {Ian A. Mason and
                  Carolyn L. Talcott},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {{IOP:} The InterOperability Platform {\&} IMaude: An Interactive
                  Extension of Maude},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {315--333},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.016},
  doi          = {10.1016/J.ENTCS.2004.06.016},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MasonT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeseguerT05,
  author       = {Jos{\'{e}} Meseguer and
                  Prasanna Thati},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Symbolic Reachability Analysis Using Narrowing and its Application
                  to Verification of Cryptographic Protocols},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {153--182},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.024},
  doi          = {10.1016/J.ENTCS.2004.06.024},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MeseguerT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlveczkyM05,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Real-Time Maude 2.1},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {285--314},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.015},
  doi          = {10.1016/J.ENTCS.2004.06.015},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/OlveczkyM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalominoP05,
  author       = {Miguel Palomino and
                  Isabel Pita},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Proving {VLRL} Action Properties with the Maude Model Checker},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {113--133},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.026},
  doi          = {10.1016/J.ENTCS.2004.06.026},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PalominoP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StumpBBHK05,
  author       = {Aaron Stump and
                  Ryan Besand and
                  James C. Brodman and
                  Jonathan Hseu and
                  Bill Kinnersley},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {From Rogue to MicroRogue},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {69--87},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.028},
  doi          = {10.1016/J.ENTCS.2004.06.028},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StumpBBHK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wang05,
  author       = {Bow{-}Yaw Wang},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet},
  title        = {mu-Calculus Model Checking in Maude},
  booktitle    = {Proceedings of the Fifth International Workshop on Rewriting Logic
                  and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {117},
  pages        = {135--152},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.025},
  doi          = {10.1016/J.ENTCS.2004.06.025},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Wang05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2002,
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/71/suppl/C},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteEL02,
  author       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Salvador Lucas},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Correct and Complete (Positive) Strategy Annotations for {OBJ}},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {70--89},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82529-0},
  doi          = {10.1016/S1571-0661(05)82529-0},
  timestamp    = {Wed, 07 Dec 2022 08:35:58 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlpuenteEL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniMM02,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Tiling Transactions in Rewriting Logic},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {90--109},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82530-7},
  doi          = {10.1016/S1571-0661(05)82530-7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaKL02,
  author       = {Horatiu Cirstea and
                  Claude Kirchner and
                  Luigi Liquori},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Rewriting Calculus with(out) Types},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82526-5},
  doi          = {10.1016/S1571-0661(05)82526-5},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaKL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelMP02,
  author       = {Manuel Clavel and
                  Jos{\'{e}} Meseguer and
                  Miguel Palomino},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Reflection in Membership Equational Logic, Many-Sorted Equational
                  Logic, Horn Logic with Equality, and Rewriting Logic},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {110--126},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82531-9},
  doi          = {10.1016/S1571-0661(05)82531-9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerM02,
  author       = {Grit Denker and
                  Jonathan K. Millen},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Modeling Group Communication Protocols Using Multiset Term Rewriting},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {20--39},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82527-7},
  doi          = {10.1016/S1571-0661(05)82527-7},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranV02,
  author       = {Francisco Dur{\'{a}}n and
                  Alberto Verdejo},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {A Conference Reviewing System in Mobile Maude},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {127--143},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82532-0},
  doi          = {10.1016/S1571-0661(05)82532-0},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EkerKLLT02,
  author       = {Steven Eker and
                  Merrill Knapp and
                  Keith Laderoute and
                  Patrick Lincoln and
                  Carolyn L. Talcott},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Pathway Logic: Executable Models of Biological Networks},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {144--161},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82533-2},
  doi          = {10.1016/S1571-0661(05)82533-2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EkerKLLT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EkerMS02,
  author       = {Steven Eker and
                  Jos{\'{e}} Meseguer and
                  Ambarish Sridharanarayanan},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {The Maude {LTL} Model Checker},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {162--187},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82534-4},
  doi          = {10.1016/S1571-0661(05)82534-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/EkerMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FissoreGK02,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Outermost ground termination},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {188--207},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82535-6},
  doi          = {10.1016/S1571-0661(05)82535-6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FissoreGK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GadducciM02,
  author       = {Fabio Gadducci and
                  Ugo Montanari},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Preface - {WRLA} 2002, Rewriting Logic and Its Applications, Pisa,
                  Italy, 19-21 September 2002},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82525-3},
  doi          = {10.1016/S1571-0661(05)82525-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GadducciM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Honda02,
  author       = {Kohei Honda},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Processes and Games},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {40--69},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82528-9},
  doi          = {10.1016/S1571-0661(05)82528-9},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Honda02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OgataF02,
  author       = {Kazuhiro Ogata and
                  Kokichi Futatsugi},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Rewriting-Based Verification of Authentication Protocols},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {208--222},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82536-8},
  doi          = {10.1016/S1571-0661(05)82536-8},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OgataF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rodriguez02,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {A Secret-Sharing Protocol Modelled in Maude},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {223--239},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82537-X},
  doi          = {10.1016/S1571-0661(05)82537-X},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StehrT02,
  author       = {Mark{-}Oliver Stehr and
                  Carolyn L. Talcott},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Plan in Maude: Specifying an Active Network Programming Language},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {240--260},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82538-1},
  doi          = {10.1016/S1571-0661(05)82538-1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StehrT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThatiSM02,
  author       = {Prasanna Thati and
                  Koushik Sen and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {An Executable Specification of Asynchronous Pi-Calculus Semantics
                  and May Testing in Maude 2.0},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {261--281},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82539-3},
  doi          = {10.1016/S1571-0661(05)82539-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThatiSM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VerdejoM02,
  author       = {Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Implementing {CCS} in Maude 2},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {282--300},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82540-X},
  doi          = {10.1016/S1571-0661(05)82540-X},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VerdejoM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BasinD00,
  author       = {David A. Basin and
                  Grit Denker},
  editor       = {Kokichi Futatsugi},
  title        = {Maude versus Haskell: an Experimental Comparison in Security Protocol
                  Analysis},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {235--256},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80141-0},
  doi          = {10.1016/S1571-0661(05)80141-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BasinD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrandR00,
  author       = {Mark van den Brand and
                  Christophe Ringeissen},
  editor       = {Kokichi Futatsugi},
  title        = {{ASF+SDF} parsing tools applied to {ELAN}},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {138--157},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80122-7},
  doi          = {10.1016/S1571-0661(05)80122-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrandR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaK00,
  author       = {Horatiu Cirstea and
                  Claude Kirchner},
  editor       = {Kokichi Futatsugi},
  title        = {The simply typed rewriting calculus},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {24--42},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80127-6},
  doi          = {10.1016/S1571-0661(05)80127-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelDELMMQ00,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Jose F. Quesada},
  editor       = {Kokichi Futatsugi},
  title        = {Towards Maude 2.0},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {294--315},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80137-9},
  doi          = {10.1016/S1571-0661(05)80137-9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelDELMMQ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelDM00,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Kokichi Futatsugi},
  title        = {Polytypic Programming in Maude},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {339--360},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80135-5},
  doi          = {10.1016/S1571-0661(05)80135-5},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelDM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerMT00,
  author       = {Grit Denker and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Kokichi Futatsugi},
  title        = {Rewriting Semantics of Meta-Objects and Composable Distributed Services},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {405--425},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80132-X},
  doi          = {10.1016/S1571-0661(05)80132-X},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerMT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranM00,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Kokichi Futatsugi},
  title        = {Parameterized Theories and Views in Full Maude 2.0},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {316--338},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80136-7},
  doi          = {10.1016/S1571-0661(05)80136-7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Futatsugi00,
  author       = {Kokichi Futatsugi},
  editor       = {Kokichi Futatsugi},
  title        = {Preface},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80129-X},
  doi          = {10.1016/S1571-0661(05)80129-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Futatsugi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoguenLR00,
  author       = {Joseph A. Goguen and
                  Kai Lin and
                  Grigore Rosu},
  editor       = {Kokichi Futatsugi},
  title        = {Behavioral and Coinductive Rewriting},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {2--23},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80128-8},
  doi          = {10.1016/S1571-0661(05)80128-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoguenLR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hilberdink00,
  author       = {Hendrik Hilberdink},
  editor       = {Kokichi Futatsugi},
  title        = {New Foundations for Rewriting Logic},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {43--69},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80126-4},
  doi          = {10.1016/S1571-0661(05)80126-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hilberdink00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerG00,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Isabelle Gnaedig},
  editor       = {Kokichi Futatsugi},
  title        = {Termination and normalisation under strategy Proofs in {ELAN}},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {93--120},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80124-0},
  doi          = {10.1016/S1571-0661(05)80124-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KulasB00,
  author       = {Marija Kulas and
                  Christoph Beierle},
  editor       = {Kokichi Futatsugi},
  title        = {Defining Standard Prolog in Rewriting Logic},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {158--174},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80121-5},
  doi          = {10.1016/S1571-0661(05)80121-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KulasB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeuckerN00,
  author       = {Martin Leucker and
                  Thomas Noll},
  editor       = {Kokichi Futatsugi},
  title        = {Rewriting Logic as a Framework for Generic Verification Tools},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {121--137},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80123-9},
  doi          = {10.1016/S1571-0661(05)80123-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LeuckerN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasonT00,
  author       = {Ian A. Mason and
                  Carolyn L. Talcott},
  editor       = {Kokichi Futatsugi},
  title        = {Simple Network Protocol Simulation within Maude},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {274--291},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80139-2},
  doi          = {10.1016/S1571-0661(05)80139-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MasonT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Millen00,
  author       = {Jonathan K. Millen},
  editor       = {Kokichi Futatsugi},
  title        = {Applications of Term Rewriting to Cryptographic Protocol Analysis
                  overview of the invited talk},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {229--234},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80142-2},
  doi          = {10.1016/S1571-0661(05)80142-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Millen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NakamuraO00,
  author       = {Masaki Nakamura and
                  Kazuhiro Ogata},
  editor       = {Kokichi Futatsugi},
  title        = {The evaluation strategy for head normal form with and without on-demand
                  flags},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {212--228},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80143-4},
  doi          = {10.1016/S1571-0661(05)80143-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NakamuraO00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nakashima00,
  author       = {Hideyuki Nakashima},
  editor       = {Kokichi Futatsugi},
  title        = {Cyber Assistance for Situtated Human Information Processing Overview
                  of the invited talk},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {292--293},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80138-0},
  doi          = {10.1016/S1571-0661(05)80138-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Nakashima00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlveczkyM00,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Kokichi Futatsugi},
  title        = {Real-Time Maude: {A} Tool for Simulating and Analyzing Real-Time and
                  Hybrid Systems},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {361--382},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80134-3},
  doi          = {10.1016/S1571-0661(05)80134-3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/OlveczkyM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pattinson00,
  author       = {Dirk Pattinson},
  editor       = {Kokichi Futatsugi},
  title        = {Modal Logic for Rewriting Theories},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {175--193},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80145-8},
  doi          = {10.1016/S1571-0661(05)80145-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pattinson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ringeissen00,
  author       = {Christophe Ringeissen},
  editor       = {Kokichi Futatsugi},
  title        = {Handling Relations over Finite Domains in the Rule-Based System {ELAN}},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {194--211},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80144-6},
  doi          = {10.1016/S1571-0661(05)80144-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ringeissen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rodriguez00,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Kokichi Futatsugi},
  title        = {Case Studies in the Specification and Analysis of Protocols in Maude},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {257--273},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80140-9},
  doi          = {10.1016/S1571-0661(05)80140-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stehr00,
  author       = {Mark{-}Oliver Stehr},
  editor       = {Kokichi Futatsugi},
  title        = {{CINNI} - {A} Generic Calculus of Explicit Substitutions and its Application
                  to lambda-, varsigma- and pi- Calculi},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {70--92},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80125-2},
  doi          = {10.1016/S1571-0661(05)80125-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Stehr00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VerdejoPM00,
  author       = {Alberto Verdejo and
                  Isabel Pita and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Kokichi Futatsugi},
  title        = {The Leader Election Protocol of {IEEE} 1394 in Maude},
  booktitle    = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  pages        = {383--404},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80133-1},
  doi          = {10.1016/S1571-0661(05)80133-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VerdejoPM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2000,
  editor       = {Kokichi Futatsugi},
  title        = {The 3rd International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {36},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/36/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BasinM98,
  author       = {David A. Basin and
                  Se{\'{a}}n Matthews},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Scoped metatheorems},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {353--366},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80021-0},
  doi          = {10.1016/S1571-0661(05)80021-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BasinM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Borovansky98,
  author       = {Peter Borovansk{\'{y}}},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Controlling rewriting: study and implementation of a strategy formalism},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {299--310},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80018-0},
  doi          = {10.1016/S1571-0661(05)80018-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Borovansky98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyC98,
  author       = {Peter Borovansk{\'{y}} and
                  Carlos Castro},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Cooperation of constraint solvers: using the new process control facilities
                  of {ELAN}},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {1--20},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82549-6},
  doi          = {10.1016/S1571-0661(05)82549-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyJMR98,
  author       = {Peter Borovansk{\'{y}} and
                  Salma Jamoussi and
                  Pierre{-}Etienne Moreau and
                  Christophe Ringeissen},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Handling {ELAN} rewrite programs via an exchange format},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {173},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80011-8},
  doi          = {10.1016/S1571-0661(05)80011-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyJMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMR98,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau and
                  Christophe Ringeissen},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {An overview of {ELAN}},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {55--70},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82552-6},
  doi          = {10.1016/S1571-0661(05)82552-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyKKMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrandKV98,
  author       = {Mark van den Brand and
                  Paul Klint and
                  Chris Verhoef},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Term rewriting for sale},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {218--241},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80014-3},
  doi          = {10.1016/S1571-0661(05)80014-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrandKV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bruni98,
  author       = {Roberto Bruni},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {A logic for modular descriptions of asynchronous and synchronized
                  concurrent systems},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {161--172},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80760-1},
  doi          = {10.1016/S1571-0661(05)80760-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bruni98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniMM98,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Internal strategies in a rewriting implementation of tile systems},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {263--284},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80016-7},
  doi          = {10.1016/S1571-0661(05)80016-7},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarabettaDG98,
  author       = {Georgia Carabetta and
                  Pierpaolo Degano and
                  Fabio Gadducci},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {{CCS} semantics via proved transition systems and rewriting logic},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {369--387},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80023-4},
  doi          = {10.1016/S1571-0661(05)80023-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CarabettaDG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Clavel98,
  author       = {Manuel Clavel},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Reflection in general logics, rewriting logic, and Maude},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {71--82},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82553-8},
  doi          = {10.1016/S1571-0661(05)82553-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Clavel98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelDELMM98,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Metalevel computation in Maude},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {331--352},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80020-9},
  doi          = {10.1016/S1571-0661(05)80020-9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelDELMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelDELMMQ98,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Jose F. Quesada},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Maude as a metalanguage},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {147--160},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82557-5},
  doi          = {10.1016/S1571-0661(05)82557-5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelDELMMQ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Denker98,
  author       = {Grit Denker},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {From rewrite theories to temporal logic theories},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {105--126},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82555-1},
  doi          = {10.1016/S1571-0661(05)82555-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Denker98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DiaconescuF98,
  author       = {Razvan Diaconescu and
                  Kokichi Futatsugi},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {An overview of CafeOBJ},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {285--298},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80017-9},
  doi          = {10.1016/S1571-0661(05)80017-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DiaconescuF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranM98,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {An extensible module algebra for Maude},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {174--195},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80012-X},
  doi          = {10.1016/S1571-0661(05)80012-X},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Eker98,
  author       = {Steven Eker},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Term rewriting with operator evaluation strategies},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {311--330},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80019-2},
  doi          = {10.1016/S1571-0661(05)80019-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Eker98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GiunchigliaBC98,
  author       = {Fausto Giunchiglia and
                  Piergiorgio Bertoli and
                  Alessandro Coglio},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {The {OMRS} project: state of the art},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {127--146},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82556-3},
  doi          = {10.1016/S1571-0661(05)82556-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GiunchigliaBC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jouannaud98,
  author       = {Jean{-}Pierre Jouannaud},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Membership equational logic, calculus of inductive instructions, and
                  rewrite logic},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {388--393},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80024-6},
  doi          = {10.1016/S1571-0661(05)80024-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jouannaud98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerK98,
  author       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Preface},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {367--368},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80022-2},
  doi          = {10.1016/S1571-0661(05)80022-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lechner98,
  author       = {Ulrike Lechner},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Object-oriented specification of distributed systems},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {394--403},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80025-8},
  doi          = {10.1016/S1571-0661(05)80025-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lechner98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MatsumotoF98,
  author       = {Michihiro Matsumoto and
                  Kokichi Futatsugi},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Test set coinduction - Toward automated verification of behavioural
                  properties},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {242--262},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80015-5},
  doi          = {10.1016/S1571-0661(05)80015-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MatsumotoF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeseguerT98,
  author       = {Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Mapping {OMRS} to rewriting logic},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {33--54},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82551-4},
  doi          = {10.1016/S1571-0661(05)82551-4},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MeseguerT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mosses98,
  author       = {Peter D. Mosses},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Semantics, modularity, and rewriting logic},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {404--421},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80026-X},
  doi          = {10.1016/S1571-0661(05)80026-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mosses98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schorlemmer98,
  author       = {W. Marco Schorlemmer},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Rewriting logic as a logic of special relations},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {196--217},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80013-1},
  doi          = {10.1016/S1571-0661(05)80013-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Schorlemmer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StegglesK98,
  author       = {L. J. Steggles and
                  Piotr Kosiuczenko},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {A timed rewriting logic semantics for {SDL:} {A} case study of alternating
                  bit protocol},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {83--104},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82554-X},
  doi          = {10.1016/S1571-0661(05)82554-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StegglesK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viry98,
  author       = {Patrick Viry},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Adventures in sequent calculus modulo equations},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {21--32},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82550-2},
  doi          = {10.1016/S1571-0661(05)82550-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Viry98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VisserB98,
  author       = {Eelco Visser and
                  Zine{-}El{-}Abidine Benaissa},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {A core language for rewriting},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {422--441},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80027-1},
  doi          = {10.1016/S1571-0661(05)80027-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VisserB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/1998,
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/15/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKK96,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Controlling rewriting by rewriting},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {169--189},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00039-8},
  doi          = {10.1016/S1571-0661(04)00039-8},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyKK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMV96,
  author       = {Peter Borovansk{\'{y}} and
                  Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau and
                  Marian Vittek},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {{ELAN:} {A} logical framework based on computational systems},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {35--50},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00032-5},
  doi          = {10.1016/S1571-0661(04)00032-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorovanskyKKMV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Castro96,
  author       = {Carlos Castro},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Solving binary {CSP} using computational systems},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {246--265},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00042-8},
  doi          = {10.1016/S1571-0661(04)00042-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Castro96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiampoliniLMS96,
  author       = {Anna Ciampolini and
                  Evelina Lamma and
                  Paola Mello and
                  Cesare Stefanelli},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Distributed logic objects: {A} fragment of rewriting logic and its
                  implementation},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {110--125},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00036-2},
  doi          = {10.1016/S1571-0661(04)00036-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CiampoliniLMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelELM96,
  author       = {Manuel Clavel and
                  Steven Eker and
                  Patrick Lincoln and
                  Jos{\'{e}} Meseguer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Principles of Maude},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {65--89},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00034-9},
  doi          = {10.1016/S1571-0661(04)00034-9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelELM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClavelM96,
  author       = {Manuel Clavel and
                  Jos{\'{e}} Meseguer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Reflection and strategies in rewriting logic},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {126--148},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00037-4},
  doi          = {10.1016/S1571-0661(04)00037-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Diaconescu96,
  author       = {Razvan Diaconescu},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Foundations of behavioural specification in rewriting logic},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {226--245},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00041-6},
  doi          = {10.1016/S1571-0661(04)00041-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Diaconescu96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Eker96,
  author       = {Steven Eker},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Fast matching in combinations of regular equational theories},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {90--109},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00035-0},
  doi          = {10.1016/S1571-0661(04)00035-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Eker96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GadducciM96,
  author       = {Fabio Gadducci and
                  Ugo Montanari},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Tiles, rewriting rules and {CCS}},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {1--19},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00030-1},
  doi          = {10.1016/S1571-0661(04)00030-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GadducciM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerM96,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Pierre{-}Etienne Moreau},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {A reflective extension of {ELAN}},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {149--168},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00038-6},
  doi          = {10.1016/S1571-0661(04)00038-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KirchnerM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Landauer96,
  author       = {Christopher Landauer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Discrete event systems in rewriting logic},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {310--321},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00045-3},
  doi          = {10.1016/S1571-0661(04)00045-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Landauer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lechner96,
  author       = {Ulrike Lechner},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Object-oriented specifications of distributed systems in the mu-Calculus
                  and Maude},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {385--404},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00048-9},
  doi          = {10.1016/S1571-0661(04)00048-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lechner96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietM96,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Rewriting logic as a logical and semantic framework},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {190--225},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00040-4},
  doi          = {10.1016/S1571-0661(04)00040-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-OlietM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Meseguer96,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Preface},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {424--425},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80563-8},
  doi          = {10.1016/S1571-0661(05)80563-8},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Meseguer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miyoshi96,
  author       = {Hiroyuki Miyoshi},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Modelling conditional rewriting logic in structured categories},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {20--34},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00031-3},
  doi          = {10.1016/S1571-0661(04)00031-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Miyoshi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlveczkyM96,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Specifying real-time systems in rewriting logic},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {284--309},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00044-1},
  doi          = {10.1016/S1571-0661(04)00044-1},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/OlveczkyM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PitaM96,
  author       = {Isabel Pita and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {A Maude specification of an object-oriented database model for telecommunication
                  networks},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {405--423},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00049-0},
  doi          = {10.1016/S1571-0661(04)00049-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PitaM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schorlemmer96,
  author       = {W. Marco Schorlemmer},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Bi-rewriting rewriting logic},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {266--283},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00043-X},
  doi          = {10.1016/S1571-0661(04)00043-X},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Schorlemmer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott96,
  author       = {Carolyn L. Talcott},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {An actor rewriting theory},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {361--384},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00047-7},
  doi          = {10.1016/S1571-0661(04)00047-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Talcott96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viry96,
  author       = {Patrick Viry},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {Input/Output for {ELAN}},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {51--64},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00033-7},
  doi          = {10.1016/S1571-0661(04)00033-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Viry96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WirsingK96,
  author       = {Martin Wirsing and
                  Alexander Knapp},
  editor       = {Jos{\'{e}} Meseguer},
  title        = {A formal approach to object-oriented software engineering},
  booktitle    = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  pages        = {322--360},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(04)00046-5},
  doi          = {10.1016/S1571-0661(04)00046-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WirsingK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/1996,
  editor       = {Jos{\'{e}} Meseguer},
  title        = {First International Workshop on Rewriting Logic and its Applications,
                  {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
                  3-6, 1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {4},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/4/suppl/C},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics