Global renaming operators in concrete process algebra: (revised version)

J.C.M. Baeten; J.A. Bergstra

Global renaming operators in concrete process algebra: (revised version)

J.C.M. Baeten, J.A. Bergstra

Research output: Book/Report › Report › Popular

47 Downloads (Pure)

Original language	English
Place of Publication	Amsterdam
Publisher	Universiteit van Amsterdam
Number of pages	31
Publication status	Published - 1987

Bibliographical note

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

Access to Document

589767Final published version, 2.44 MB

Cite this

@book{cd9c5aa1d5ad4828b7e03a63a64e9642,

title = "Global renaming operators in concrete process algebra: (revised version)",

author = "J.C.M. Baeten and J.A. Bergstra",

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

year = "1987",

language = "English",

publisher = "Universiteit van Amsterdam",

}

TY - BOOK

T1 - Global renaming operators in concrete process algebra

T2 - (revised version)

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

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

PY - 1987

Y1 - 1987

M3 - Report

BT - Global renaming operators in concrete process algebra

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -