Axiomatizing probabilistic processes : ACP with generative probabilities

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

    Research output: Book/ReportReportPopular

    47 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages36
    Publication statusPublished - 1992

    Publication series

    NameReports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam
    VolumeP9218

    Bibliographical note

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

    Cite this

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