A process specification formalism based on static COLD

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

    Onderzoeksoutput: Boek/rapportRapportPopulair

    75 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijUniversiteit van Amsterdam
    Aantal pagina's48
    StatusGepubliceerd - 1989

    Publicatie series

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

    Bibliografische nota

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

    Citeer dit