Axiomatizing probabilistic processes : ACP with generative probabilities

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

Research output: Contribution to journal › Article › Academic › peer-review

75 Citations (Scopus)

168 Downloads (Pure)

Original language	English
Pages (from-to)	234-255
Journal	Information and Computation
Volume	121
Issue number	2
DOIs	https://doi.org/10.1006/inco.1995.1135
Publication status	Published - 1995

Access to Document

@article{43d438e52eb949dc8827da76e01f71a9,

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

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

year = "1995",

doi = "10.1006/inco.1995.1135",

language = "English",

volume = "121",

pages = "234--255",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "2",

}