A process specification formalism based on static COLD

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

    Research output: Book/ReportReportAcademic

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

    Publication series

    NameCWI Report
    VolumeCS-R8930

    Cite this