Axiomatizing probabilistic processes : ACP with generative probabilities

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

    Onderzoeksoutput: Boek/rapportRapportPopulair

    45 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijUniversiteit van Amsterdam
    Aantal pagina's36
    StatusGepubliceerd - 1992

    Publicatie series

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

    Bibliografische nota

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

    Citeer dit

    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.