- Principles of Mobile Maude Francisco Dur an, Steven Eker, Patrick Lincoln, and Jos e Meseguer
- Electronic Notes in Theoretical Computer Science 4 (1996) Rewriting Logic as a Logical and Semantic
- Structured Theories and Institutions Francisco Dur'an and Jos'e Meseguer
- Declarative Debugging of Maude Modules Adrian Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Marti-Oliet
- WRLA 2000 Preliminary Version Towards Maude 2.0 ?
- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 13 pages
- Algebraic Simulations Jose Meseguer1
- Electronic Notes in Theoretical Computer Science 4 (1996) Specifying RealTime Systems in
- Electronic Notes in Theoretical Computer Science 5 (1998) to appear Term Rewriting with Operator Evaluation
- Electronic Notes in Theoretical Computer Science 71 (2002) URL: http://www.elsevier.nl/locate/entcs/volume71.html 19 pages
- Parameterized skeletons in Maude Adrian Riesco and Alberto Verdejo
- Termination Checker and Knuth-Bendix Completion Tools for Maude Equational
- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 22 pages
- The Maude Speci cation of Full Maude Francisco Dur an and Jos e Meseguer
- Rewriting Logic: Roadmap and Bibliography ? Narciso Mart'iOliet a and Jos'e Meseguer b
- Notes on Model Checking and Abstraction in Rewriting Logic
- Rewriting Logic as a Unifying Framework for Petri Nets
- Maude's Module Algebra Francisco Dur an
- Specification and Analysis of the AER/NCA Active Network Protocol Suite in
- Membership Algebra as a Logical Framework for Equational Specification ?
- Christiano Oliveira Braga Rewriting Logic as Semantic Framework for Modular
- A Church-Rosser Checker Tool for Maude Equational Speci cations
- Modular Rewriting Semantics of Programming Languages
- The EIGRP Protocol in Maude Adrian Riesco and Alberto Verdejo
- Equational Abstractions Jose Meseguer1
- Executing and Verifying CCS in Maude Alberto Verdejo and Narciso Mart-Oliet
- IMPLEMENTING CCS IN MAUDE Alberto Verdejo and Narciso Mart -Oliet
- Maude: Specification and Programming in Rewriting Logic ?
- Electronic Notes in Theoretical Computer Science 71 (2002) URL: http://www.elsevier.nl/locate/entcs/volume71.html 18 pages
- Software Speci cation and Veri cation in Rewriting Logic
- Electronic Notes in Theoretical Computer Science 71 (2002) URL: http://www.elsevier.nl/locate/entcs/volume71.html 21 pages
- Speci cation of real-time and hybrid systems in rewriting logic ?
- Rewriting Logic as a Logical and Semantic Framework \Lambda
- Electronic Notes in Theoretical Computer Science 4 (1996) Reflection and Strategies in Rewriting Logic 1
- Research Directions in Rewriting Logic ?
- Electronic Notes in Theoretical Computer Science 4 (1996) Fast matching in combinations of regular
- WRLA 2000 Preliminary Version Real-Time Maude: A Tool for Simulating and
- Maude as a Formal MetaTool ? M. Clavel 1 , F. Dur'an 2 , S. Eker 2 , J. Meseguer 2 , and M.O. Stehr 2
- Electronic Notes in Theoretical Computer Science 71 (2002) URL: http://www.elsevier.nl/locate/entcs/volume71.html 26 pages
- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 21 pages
- Relating Meseguer's Rewriting Logic ConstructorBased Rewriting Logic
- Design and Implementation of the Cafe Prover and ChurchRosser Checker Tools
- Equational Abstractions Jos e Meseguer 1 , Miguel Palomino 1;2 , and Narciso Mart -Oliet 2
- A Maude Tutorial \Lambda Univ. de Navarra, Spain
- Speci cation and Analysis of Real-Time and Hybrid Systems in
- Specification and Programming in Rewriting Logic 1
- Building Equational Proving Tools by Re ection in Rewriting Logic
- The Maude 2.0 System # Manuel Clavel 1 , Francisco Dur an 2 , Steven Eker 3 , Patrick Lincoln 3 ,
- UNIVERSIDAD DE M Escuela T ecnica Superior de Ingenier a Inform atica
- Specification and Proof in Membership Equational Logic 1
- Building Equational Proving Tools by Reflection in Rewriting Logic \Lambda
- Electronic Notes in Theoretical Computer Science 4 (1996) Principles of Maude
- Coherence Checker and Completion Tools for Maude Speci cations
- Associative-Commutative Rewriting on Large Steven Eker
