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

Meseguer, J. (ed.)

Electronic Notes in Theoretical Computer Science. 4. Amsterdam: Elsevier, 423 p. (1996).

Show indexed articles as search result.

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

MSC:

00B25	Proceedings of conferences of miscellaneous specific interest
68-06	Proceedings, conferences, collections, etc. pertaining to computer science
68Q42	Grammars and rewriting systems

Keywords:

Pacific Grove, CA (USA); Workshop; Proceedings; Rewriting logic