List of Accepted Papers

Internal Strategies in a Rewriting Implementation of Tile Systems,
Roberto Bruni and Jose Meseguer and Ugo Montanari
An Extensible Module Algebra For Maude,
Francisco Duran and Jose Meseguer
Metalevel Computation in Maude,
Manuel Clavel and Francisco Duran and Steven Eker and Patrick Lincoln and Jose Meseguer
Test Set Coinduction - Toward Automated Verification of Behavioural Properties,
Michihiro Matsumoto and Kokichi Futatsugi
Rewriting Logic as a Logic of Special Relations,
Marco Schorlemmer
CCS semantics via Proved Transition Systems and Rewriting Logic,
Geogia Cabaretta and Pierpaolo Degano and Fabio Gadducci
From Rewrite Theories to Temporal Logic Theories: A Distributed Temporal Logic Extension of Rewriting Logic,
Grit Denker
A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol,
L. J. Steggles and P. Kosiuczenko
Handling ELAN Rewrite Programs via an Exchange Format,
Peter Borovansky and Salma Jamoussi and Pierre-Etienne Moreau and Christophe Ringeissen
A Core Language for Rewriting,
Eelco Visser and Zine-el-Abidine Benaissa
Cooperation of Constraint Solvers: Using the New Process Control Facilities of Elan,
Peter Borovansky and Carlos Castro
Adventures in sequent calculus modulo equations,
Patrick Viry
Term rewriting with operator evaluation strategy,
Steven Eker