## José Meseguer

*Proceedings of the First International Workshop on Rewriting Logic and its Applications*

RWLW-1996, 1996.

@proceedings{RWLW-1996, editor = "José Meseguer", journal = "{Electronic Notes in Theoretical Computer Science}", title = "{Proceedings of the First International Workshop on Rewriting Logic and its Applications}", volume = 4, year = 1996, }

### Contents (20 items)

- RWLW-1996-GadducciM
- Tiles, rewriting rules and CCS (FG, UM), pp. 1–19.
- RWLW-1996-Miyoshi #category theory #logic #modelling
- Modelling conditional rewriting logic in structured categories (HM), pp. 20–34.
- RWLW-1996-BorovanskyKKMV #framework #logic #named
- ELAN: A logical framework based on computational systems (PB, CK, HK, PEM, MV), pp. 35–50.
- RWLW-1996-Viry
- Input/Output for ELAN (PV), pp. 51–64.
- RWLW-1996-ClavelELM #maude
- Principles of Maude (MC, SE, PL, JM), pp. 65–89.
- RWLW-1996-Eker #equation #performance
- Fast matching in combinations of regular equational theories (SE), pp. 90–109.
- RWLW-1996-CiampoliniLMS #distributed #implementation #logic
- Distributed logic objects: A fragment of rewriting logic and its implementation (AC, EL, PM, CS), pp. 110–125.
- RWLW-1996-ClavelM #logic
- Reflection and strategies in rewriting logic (MC, JM), pp. 126–148.
- RWLW-1996-KirchnerM
- A reflective extension of ELAN (HK, PEM), pp. 149–168.
- RWLW-1996-BorovanskyKK
- Controlling rewriting by rewriting (PB, CK, HK), pp. 169–189.
- RWLW-1996-Marti-OlietM #framework #logic #semantics
- Rewriting logic as a logical and semantic framework (NMO, JM), pp. 190–225.
- RWLW-1996-Diaconescu #behaviour #logic #specification
- Foundations of behavioural specification in rewriting logic (RD), pp. 226–245.
- RWLW-1996-Castro #csp #using
- Solving binary CSP using computational systems (CC), pp. 246–265.
- RWLW-1996-Schorlemmer #logic
- Bi-rewriting rewriting logic (WMS), pp. 266–283.
- RWLW-1996-OlveczkyM #logic #realtime #specification
- Specifying real-time systems in rewriting logic (PCÖ, JM), pp. 284–309.
- RWLW-1996-Landauer #logic
- Discrete event systems in rewriting logic (CL), pp. 310–321.
- RWLW-1996-WirsingK #approach #formal method #object-oriented #re-engineering
- A formal approach to object-oriented software engineering (MW, AK), pp. 322–360.
- RWLW-1996-Talcott
- An actor rewriting theory (CLT), pp. 361–384.
- RWLW-1996-Lechner #calculus #distributed #maude #object-oriented #specification #μ-calculus
- Object-oriented specifications of distributed systems in the μ-Calculus and Maude (UL), pp. 385–404.
- RWLW-1996-PitaM #database #maude #network #object-oriented #specification
- A Maude specification of an object-oriented database model for telecommunication networks (IP, NMO), pp. 405–423.