Global renaming operators in concrete process algebra: (revised version)

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

    Research output: Book/ReportReportPopular

    31 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages31
    Publication statusPublished - 1987

    Bibliographical note

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

    Cite this

    Baeten, J. C. M., & Bergstra, J. A. (1987). Global renaming operators in concrete process algebra: (revised version). Universiteit van Amsterdam.