Volume 4, 1996
RWLW96, First International Workshop on Rewriting Logic and its Applications
Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996
- Fabio Gadducci, Ugo Montanari:
Tiles, rewriting rules and CCS.
1-19
- Hiroyuki Miyoshi:
Modelling conditional rewriting logic in structured categories.
20-34
- Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek:
ELAN: A logical framework based on computational systems.
35-50
- Patrick Viry:
Input/Output for ELAN.
51-64
- Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Maude.
65-89
- Steven Eker:
Fast matching in combinations of regular equational theories.
90-109
- Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Distributed logic objects: A fragment of rewriting logic and its implementation.
110-125
- Manuel Clavel, José Meseguer:
Reflection and strategies in rewriting logic.
126-148
- Hélène Kirchner, Pierre-Etienne Moreau:
A reflective extension of ELAN.
149-168
- Peter Borovanský, Claude Kirchner, Hélène Kirchner:
Controlling rewriting by rewriting.
169-189
- Narciso Martí-Oliet, José Meseguer:
Rewriting logic as a logical and semantic framework.
190-225
- Razvan Diaconescu:
Foundations of behavioural specification in rewriting logic.
226-245
- Carlos Castro:
Solving binary CSP using computational systems.
246-265
- W. Marco Schorlemmer:
Bi-rewriting rewriting logic.
266-283
- Peter Csaba Ölveczky, José Meseguer:
Specifying real-time systems in rewriting logic.
284-309
- Christopher Landauer:
Discrete event systems in rewriting logic.
310-321
- Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering.
322-360
- Carolyn L. Talcott:
An actor rewriting theory.
361-384
- Ulrike Lechner:
Object-oriented specifications of distributed systems in the mu-Calculus and Maude.
385-404
- Isabel Pita, Narciso Martí-Oliet:
A Maude specification of an object-oriented database model for telecommunication networks.
405-423
- José Meseguer:
Preface.
424-425
Last update Sat May 25 20:07:05 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
