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