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)

9 ×#logic
4 ×#specification
3 ×#maude
3 ×#object-oriented
2 ×#distributed
2 ×#framework

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.