default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/wrla:"
download as .bib file
@inproceedings{DBLP:conf/wrla/BaeELMS24,
author = {Kyungmin Bae and
Santiago Escobar and
Ra{\'{u}}l L{\'{o}}pez{-}Rueda and
Jos{\'{e}} Meseguer and
Julia Sapi{\~{n}}a},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Verifying Invariants by Deductive Model Checking},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {3--21},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_1},
doi = {10.1007/978-3-031-65941-6\_1},
timestamp = {Thu, 08 Aug 2024 08:55:16 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BaeELMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DoO24,
author = {Canh Minh Do and
Kazuhiro Ogata},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Equivalence Checking of Quantum Circuits Based on Dirac Notation in
Maude},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {84--103},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_5},
doi = {10.1007/978-3-031-65941-6\_5},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/DoO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/KiriginCKST24,
author = {Tajana Ban Kirigin and
Jesse Comer and
Max I. Kanovich and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Time-Bounded Resilience},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {22--44},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_2},
doi = {10.1007/978-3-031-65941-6\_2},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/KiriginCKST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Lienhardt24,
author = {Michael Lienhardt},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {The Hrewrite Library: {A} Term Rewriting Engine for Automatic Code
Assembly},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {165--178},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_9},
doi = {10.1007/978-3-031-65941-6\_9},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/Lienhardt24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Meseguer24,
author = {Jos{\'{e}} Meseguer},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Equivalence, and Property Internalization and Preservation for Equational
Programs},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {62--83},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_4},
doi = {10.1007/978-3-031-65941-6\_4},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/Meseguer24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/OlarteO24,
author = {Carlos Olarte and
Peter Csaba {\"{O}}lveczky},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Timed Strategies for Real-Time Rewrite Theories},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {124--144},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_7},
doi = {10.1007/978-3-031-65941-6\_7},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/OlarteO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/OlarteRRV24,
author = {Carlos Olarte and
Carlos Ram{\'{\i}}rez and
Camilo Rocha and
Frank Valencia},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting
Logic},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {104--123},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_6},
doi = {10.1007/978-3-031-65941-6\_6},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/OlarteRRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/Olveczky24,
author = {Peter Csaba {\"{O}}lveczky},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Teaching an Advanced Maude-Based Formal Methods Course in Oslo},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {195--207},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_11},
doi = {10.1007/978-3-031-65941-6\_11},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/Olveczky24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RubioMPV24,
author = {Rub{\'{e}}n Rubio and
Narciso Mart{\'{\i}}{-}Oliet and
Isabel Pita and
Alberto Verdejo},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Specifying Fairness Constraints and Model Checking with Non-intensional
Strategies},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {145--162},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_8},
doi = {10.1007/978-3-031-65941-6\_8},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/RubioMPV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/TranO24,
author = {Duong Dinh Tran and
Kazuhiro Ogata},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {45--61},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_3},
doi = {10.1007/978-3-031-65941-6\_3},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/TranO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/YuB24,
author = {Geunyeol Yu and
Kyungmin Bae},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Flexible Framework for Integrating Maude and {SMT} Solvers Using
Python},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {179--192},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_10},
doi = {10.1007/978-3-031-65941-6\_10},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/YuB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2024,
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6},
doi = {10.1007/978-3-031-65941-6},
isbn = {978-3-031-65940-9},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sun, 06 Oct 2024 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 = {Sun, 06 Oct 2024 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 = {Thu, 26 Sep 2024 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 = {Thu, 26 Sep 2024 01:00:00 +0200},
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 = {Thu, 26 Sep 2024 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 = {Mon, 15 Apr 2024 01:00:00 +0200},
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 = {Thu, 26 Sep 2024 01:00:00 +0200},
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, 26 Sep 2024 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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-05 16:04 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
