Volume 117, January 2005
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004)
- Narciso Martí-Oliet:
Preface.
1-4
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
Constraint Functional Logic Programming Revisited.
5-50
- Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-Calculus of Explicit Constraint Application.
51-67
- Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley:
From Rogue to MicroRogue.
69-87
- Luigi Liquori, Benjamin Wack:
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].
89-111
- Miguel Palomino, Isabel Pita:
Proving VLRL Action Properties with the Maude Model Checker.
113-133
- Bow-Yaw Wang:
mu-Calculus Model Checking in Maude.
135-152
- José Meseguer, Prasanna Thati:
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols.
153-182
- Iliano Cervesato, Mark-Oliver Stehr:
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types.
183-207
- Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
Rule-based Programming in Java For Protocol Verification.
209-227
- Grit Denker, Carolyn L. Talcott:
Formal Checklists for Remote Agent Dependability.
229-248
- Pablo Arrighi, Gilles Dowek:
A Computational Definition of the Notion of Vectorial Space.
249-261
- Francisco Durán, Santiago Escobar, Salvador Lucas:
New Evaluation Commands for Maude Within Full Maude.
263-284
- Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude 2.1.
285-314
- Ian A. Mason, Carolyn L. Talcott:
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.
315-333
- Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi:
Ambient Graph Rewriting.
335-351
- Gabriel Ciobanu, Dorel Lucanu:
Communicating Concurrent Objects in HiddenCCS.
353-373
- Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen:
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.
375-392
- Christiano Braga, José Meseguer:
Modular Rewriting Semantics in Practice.
393-416
- Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Towards a Strategy Language for Maude.
417-441
Last update Fri May 24 20:18:16 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
