Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996 (Q1273555)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Landauer, Christopher}, Discrete event systems in rewriting logic, 12 p. [Zbl 0912.68089] \textit{Viry, Patrick}, Input/output for ELAN, 14 p. [Zbl 0912.68093] \textit{Miyoshi, Hiroyuki}, Modeling conditional rewriting logic in structured categories, 15 p. [Zbl 0912.68094] \textit{Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian}, ELAN: A logical framework based on computational systems, 16 p. [Zbl 0912.68091] \textit{Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare}, Distributed logic objects: A fragment of rewriting logic and its implementation, 16 p. [Zbl 0912.68090] \textit{Schorlemmer, W. Marco}, Bi-rewriting rewriting logic, 18 p. [Zbl 0912.68087] \textit{Gadducci, Fabio; Montanari, Ugo}, Tiles, rewriting rules and CCS, 19 p. [Zbl 0917.68115] \textit{Pita, Isabel; Martí-Orliet, Narciso}, A Maude specification of an object-oriented database model for telecommunication networks, 19 p. [Zbl 0912.68024] \textit{Eker, S.}, Fast matching in combinations of regular equational theories, 20 p. [Zbl 0912.68057] \textit{Kirchner, Hèléne; Moreau, Pierre-Etienne}, A reflective extension of ELAN, 20 p. [Zbl 0912.68085] \textit{Diaconescu, Razvan}, Foundations of behavioural specification in rewriting logic, 20 p. [Zbl 0912.68092] \textit{Castro, Carlos}, Solving binary CSP using computational systems, 20 p. [Zbl 0912.68097] \textit{Lechner, Ulrike}, Object-oriented specifications of distributed systems in the \(\mu\)-calculus and Maude, 20 p. [Zbl 0912.68099] \textit{Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène}, Controlling rewriting by rewriting, 21 p. [Zbl 0912.68088] \textit{Clavel, Manuel; Meseguer, José}, Reflection and strategies in rewriting logic, 23 p. [Zbl 0917.68107] \textit{Talcott, Carolyn L.}, An actor rewriting theory, 24 p. [Zbl 0912.68086] \textit{Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.}, Principles of Maude, 25 p. [Zbl 0912.68095] \textit{Ölveczky, Peter Csaba; Meseguer, José}, Specifying real-time systems in rewriting logic, 26 p. [Zbl 0912.68098] \textit{Martí-Oliet, Narciso; Meseguer, José}, Rewriting logic as a logical and semantic framework, 36 p. [Zbl 0912.68096]