Term rewriting analysis in process algebra

J.C.M. Baeten; G.J. Akkerman

Term rewriting analysis in process algebra

J.C.M. Baeten, G.J. Akkerman

Research output: Book/Report › Report › Popular

55 Downloads (Pure)

Original language	English
Place of Publication	Amsterdam
Publisher	Universiteit van Amsterdam
Number of pages	20
Publication status	Published - 1990

Publication series

Name	Reports of the programming research group = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam
Volume	P9006

Bibliographical note

(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9006)

Access to Document

588977Final published version, 1.45 MB

Cite this

@book{5190c428c6ba4350924bec20c10a6ea2,

title = "Term rewriting analysis in process algebra",

author = "J.C.M. Baeten and G.J. Akkerman",

note = "(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9006)",

year = "1990",

language = "English",

series = "Reports of the programming research group = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam",

publisher = "Universiteit van Amsterdam",

}

TY - BOOK

T1 - Term rewriting analysis in process algebra

AU - Baeten, J.C.M.

AU - Akkerman, G.J.

N1 - (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9006)

PY - 1990

Y1 - 1990

M3 - Report

T3 - Reports of the programming research group = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam

BT - Term rewriting analysis in process algebra

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -