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