Axiomatizing probabilistic processes : ACP with generative probabilities

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

Axiomatizing probabilistic processes : ACP with generative probabilities

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

Onderzoeksoutput: Boek/rapport › Rapport › Populair

89 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Amsterdam
Uitgeverij	Universiteit van Amsterdam
Aantal pagina's	36
Status	Gepubliceerd - 1992

Publicatie series

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

Bibliografische nota

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

Toegang tot document

589019Definitieve gepubliceerde versie, 2,52 MB

Citeer dit

@book{3f49d44277944ab9841f98ad725e6178,

title = "Axiomatizing probabilistic processes : ACP with generative probabilities",

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

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

year = "1992",

language = "English",

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

publisher = "Universiteit van Amsterdam",

}

Axiomatizing probabilistic processes : ACP with generative probabilities. / Baeten, J.C.M.; Bergstra, J.A.; Smolka, S.A.
Amsterdam: Universiteit van Amsterdam, 1992. 36 blz. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; Vol. P9218).

Onderzoeksoutput: Boek/rapport › Rapport › Populair

TY - BOOK

T1 - Axiomatizing probabilistic processes : ACP with generative probabilities

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Smolka, S.A.

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

PY - 1992

Y1 - 1992

M3 - Report

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

BT - Axiomatizing probabilistic processes : ACP with generative probabilities

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -