Proceedings of the First International Workshop on Rewriting Logic and its Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

José Meseguer
Proceedings of the First International Workshop on Rewriting Logic and its Applications
RWLW-1996, 1996.

TCS
no DBLP info
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.