Volume 15, 1998

International Workshop on Rewriting Logic and its Applications Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998.

• 
  Peter Borovanský, Carlos Castro: Cooperation of constraint solvers: using the new process control facilities of ELAN. 1-20
• 
  Patrick Viry: Adventures in sequent calculus modulo equations. 21-32
• 
  José Meseguer, Carolyn L. Talcott: Mapping OMRS to rewriting logic. 33-54
• 
  Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen: An overview of ELAN. 55-70
• 
  Manuel Clavel: Reflection in general logics, rewriting logic, and Maude. 71-82
• 
  L. J. Steggles, Piotr Kosiuczenko: A timed rewriting logic semantics for SDL: A case study of alternating bit protocol. 83-104
• 
  Grit Denker: From rewrite theories to temporal logic theories. 105-126
• 
  Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. 127-146
• 
  Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. 147-160
• 
  Roberto Bruni: A logic for modular descriptions of asynchronous and synchronized concurrent systems. 161-172
• 
  Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen: Handling ELAN rewrite programs via an exchange format. 173
• 
  Francisco Durán, José Meseguer: An extensible module algebra for Maude. 174-195
• 
  W. Marco Schorlemmer: Rewriting logic as a logic of special relations. 196-217
• 
  Mark van den Brand, Paul Klint, Chris Verhoef: Term rewriting for sale. 218-241
• 
  Michihiro Matsumoto, Kokichi Futatsugi: Test set coinduction - Toward automated verification of behavioural properties. 242-262
• 
  Roberto Bruni, José Meseguer, Ugo Montanari: Internal strategies in a rewriting implementation of tile systems. 263-284
• 
  Razvan Diaconescu, Kokichi Futatsugi: An overview of CafeOBJ. 285-298
• 
  Peter Borovanský: Controlling rewriting: study and implementation of a strategy formalism. 299-310
• 
  Steven Eker: Term rewriting with operator evaluation strategies. 311-330
• 
  Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. 331-352
• 
  David A. Basin, Seán Matthews: Scoped metatheorems. 353-366
• 
  Claude Kirchner, Hélène Kirchner: Preface. 367-368
• 
  Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci: CCS semantics via proved transition systems and rewriting logic. 369-387
• 
  Jean-Pierre Jouannaud: Membership equational logic, calculus of inductive instructions, and rewrite logic. 388-393
• 
  Ulrike Lechner: Object-oriented specification of distributed systems. 394-403
• 
  Peter D. Mosses: Semantics, modularity, and rewriting logic. 404-421
• 
  Eelco Visser, Zine-El-Abidine Benaissa: A core language for rewriting. 422-441