Electronic Notes in Theoretical Computer Science, Volume 4

Volume 4, 1996

• José Meseguer:
  Preface.
  
• Fabio Gadducci, Ugo Montanari:
  Tiles, rewriting rules and CCS.
  
• Hiroyuki Miyoshi:
  Modelling conditional rewriting logic in structured categories.
  
• Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek:
  ELAN: A logical framework based on computational systems.
  
• Patrick Viry:
  Input/Output for ELAN.
  
• Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
  Principles of Maude.
  
• Steven Eker:
  Fast matching in combinations of regular equational theories.
  
• Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
  Distributed logic objects: A fragment of rewriting logic and its implementation.
  
• Manuel Clavel, José Meseguer:
  Reflection and strategies in rewriting logic.
  
• Hélène Kirchner, Pierre-Etienne Moreau:
  A reflective extension of ELAN.
  
• Peter Borovanský, Claude Kirchner, Hélène Kirchner:
  Controlling rewriting by rewriting.
  
• Narciso Martí-Oliet, José Meseguer:
  Rewriting logic as a logical and semantic framework.
  
• Razvan Diaconescu:
  Foundations of behavioural specification in rewriting logic.
  
• Carlos Castro:
  Solving binary CSP using computational systems.
  
• W. Marco Schorlemmer:
  Bi-rewriting rewriting logic.
  
• Peter Csaba Ölveczky, José Meseguer:
  Specifying real-time systems in rewriting logic.
  
• Christopher Landauer:
  Discrete event systems in rewriting logic.
  
• Martin Wirsing, Alexander Knapp:
  A formal approach to object-oriented software engineering.
  
• Carolyn L. Talcott:
  An actor rewriting theory.
  
• Ulrike Lechner:
  Object-oriented specifications of distributed systems in the mu-Calculus and Maude.
  
• Isabel Pita, Narciso Martí-Oliet:
  A Maude specification of an object-oriented database model for telecommunication networks.