Axiomatizing probabilistic processes : ACP with generative probabilities

DSpace/Manakin Repository

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

(1995) Information and Computation, volume 121, issue 2, pp. 234 - 254

(Article)

Download/Full Text

ISSN: 0890-5401;

Publisher: San Diego [etc.] : Academic Press (now part of Elsevier)

See more statistics about this item