Axiomatizing probabilistic processes : ACP with generative probabilities

Files

bergstra_95_axiomatizing_probalistic.pdf (1.48 MB)

Publication date

1995

Authors

Bergstra, J.A.

Baeten, J.C.M.

Smolka, S.A.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/13744