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
Last update Sat May 26 06:14:56 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
