Global renaming operators in concrete process algebra

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

    Research output: Book/Report › Report › Academic

    119 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages30
    Publication statusPublished - 1985

    Publication series

    NameCWI report. CS-R
    Volume8521
    ISSN (Print)0169-118X

    Access to Document

    • 335881Final published version, 1.49 MB

      Cite this