A real time process logic

J.C.M. Baeten; J.A. Bergstra; R.N. Bol

A real time process logic

J.C.M. Baeten, J.A. Bergstra, R.N. Bol

Research output: Book/Report › Report › Popular

41 Downloads (Pure)

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

Publication series

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

Bibliographical note

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

Access to Document

589887Final published version, 183 KB

Cite this

@book{a425abb9b01c4f26acaa8298bba69b1d,

title = "A real time process logic",

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

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

year = "1993",

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 real time process logic

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Bol, R.N.

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

PY - 1993

Y1 - 1993

M3 - Report

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

BT - A real time process logic

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -