A process specification formalism based on static COLD

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

A process specification formalism based on static COLD

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

Research output: Book/Report › Report › Popular

123 Downloads (Pure)

Original language	English
Place of Publication	Amsterdam
Publisher	Universiteit van Amsterdam
Number of pages	48
Publication status	Published - 1989

Publication series

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

Bibliographical note

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

Access to Document

588969Final published version, 3.44 MB

Cite this

@book{7aa1a775d65d442ca87d7ce43bf614dc,

title = "A process specification formalism based on static COLD",

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

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

year = "1989",

language = "English",

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

publisher = "Universiteit van Amsterdam",

}

TY - BOOK

T1 - A process specification formalism based on static COLD

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Mauw, S.

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

PY - 1989

Y1 - 1989

M3 - Report

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

BT - A process specification formalism based on static COLD

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -