A process specification formalism based on static COLD

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

    Research output: Book/Report › Report › Academic

    101 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages48
    Publication statusPublished - 1989

    Publication series

    NameCWI Report
    VolumeCS-R8930

    Access to Document

    • 329787Final published version, 2.13 MB

      Cite this