Electronic Notes in Theoretical Computer Science, Volume 117

Volume 117, January 2005

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