Axiomatizing probabilistic processes : ACP with generative probabilities

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

    Research output: Book/ReportReportPopular

    42 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.
    Baeten, J.C.M. ; Bergstra, J.A. ; Smolka, S.A. / Axiomatizing probabilistic processes : ACP with generative probabilities. Amsterdam : Universiteit van Amsterdam, 1992. 36 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam).
    @book{3f49d44277944ab9841f98ad725e6178,
    title = "Axiomatizing probabilistic processes : ACP with generative probabilities",
    author = "J.C.M. Baeten and J.A. Bergstra and S.A. Smolka",
    note = "(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9218)",
    year = "1992",
    language = "English",
    series = "Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam",
    publisher = "Universiteit van Amsterdam",

    }

    Baeten, JCM, Bergstra, JA & Smolka, SA 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, Universiteit van Amsterdam, Amsterdam.

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

    Amsterdam : Universiteit van Amsterdam, 1992. 36 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; Vol. P9218).

    Research output: Book/ReportReportPopular

    TY - BOOK

    T1 - Axiomatizing probabilistic processes : ACP with generative probabilities

    AU - Baeten, J.C.M.

    AU - Bergstra, J.A.

    AU - Smolka, S.A.

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

    PY - 1992

    Y1 - 1992

    M3 - Report

    T3 - Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam

    BT - Axiomatizing probabilistic processes : ACP with generative probabilities

    PB - Universiteit van Amsterdam

    CY - Amsterdam

    ER -

    Baeten JCM, Bergstra JA, Smolka SA. Axiomatizing probabilistic processes : ACP with generative probabilities. Amsterdam: Universiteit van Amsterdam, 1992. 36 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam).