Electronic Notes in Theoretical Computer Science, Volume 15

Volume 15, 1998

• Claude Kirchner, Hélène Kirchner:
  Preface.
  
• David A. Basin, Seán Matthews:
  Scoped metatheorems.
  
• Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
  Metalevel computation in Maude.
  
• Eelco Visser, Zine-El-Abidine Benaissa:
  A core language for rewriting.
  
• Steven Eker:
  Term rewriting with operator evaluation strategies.
  
• Peter Borovanský:
  Controlling rewriting: study and implementation of a strategy formalism.
  
• Razvan Diaconescu, Kokichi Futatsugi:
  An overview of CafeOBJ.
  
• Jean-Pierre Jouannaud:
  Membership equational logic, calculus of inductive instructions, and rewrite logic.
  
• Roberto Bruni, José Meseguer, Ugo Montanari:
  Internal strategies in a rewriting implementation of tile systems.
  
• Michihiro Matsumoto, Kokichi Futatsugi:
  Test set coinduction - Toward automated verification of behavioural properties.
  
• Mark van den Brand, Paul Klint, Chris Verhoef:
  Term rewriting for sale.
  
• W. Marco Schorlemmer:
  Rewriting logic as a logic of special relations.
  
• Francisco Durán, José Meseguer:
  An extensible module algebra for Maude.
  
• Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen:
  Handling ELAN rewrite programs via an exchange format.
  
• Roberto Bruni:
  A logic for modular descriptions of asynchronous and synchronized concurrent systems.
  
• Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
  Maude as a metalanguage.
  
• Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio:
  The OMRS project: state of the art.
  
• Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci:
  CCS semantics via proved transition systems and rewriting logic.
  
• Grit Denker:
  From rewrite theories to temporal logic theories.
  
• L. J. Steggles, Piotr Kosiuczenko:
  A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.
  
• Manuel Clavel:
  Reflection in general logics, rewriting logic, and Maude.
  
• Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen:
  An overview of ELAN.
  
• José Meseguer, Carolyn L. Talcott:
  Mapping OMRS to rewriting logic.
  
• Patrick Viry:
  Adventures in sequent calculus modulo equations.
  
• Peter Borovanský, Carlos Castro:
  Cooperation of constraint solvers: using the new process control facilities of ELAN.
  
• Peter D. Mosses:
  Semantics, modularity, and rewriting logic.
  
• Ulrike Lechner:
  Object-oriented specification of distributed systems.