Axiomatizing probabilistic processes : ACP with generative probabilities / J.C.M. Baeten, J.A. Bergstra, S.A. Smolka - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

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

http://data.bibliotheken.nl/id/nbt/p102638853

316cc1139650faaddc351b0b00f61694

mainEntity

Axiomatizing probabilistic processes : ACP with generative probabilities / J.C.M. Baeten, J.A. Bergstra, S.A. Smolka

http://data.bibliotheken.nl/id/nbt/p102638853

about

author

contributor

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Reports of the Programming Research Group, University of Amsterdam

mainEntityOfPage

316cc1139650faaddc351b0b00f61694

name

Axiomatizing probabilistic processes : ACP with generative probabilities

http://www.w3.org/2001/XMLSchema#string

numberOfPages

36

http://www.w3.org/2001/XMLSchema#integer

publication

8a4e576e4ca9a9cae3a14013fc289239

sameAs

type

label

Axiomatizing probabilistic pro ...... en, J.A. Bergstra, S.A. Smolka

http://www.w3.org/2001/XMLSchema#string