Electronic Notes in Theoretical Computer Science, Volume 15

Volume 15, 1998

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