Term rewriting analysis in process algebra

J.C.M. Baeten, G.J. Akkerman

    Research output: Book/ReportReportPopular

    39 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages20
    Publication statusPublished - 1990

    Publication series

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

    Bibliographical note

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

    Cite this