An operational semantics for process algebra

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

    Research output: Book/ReportReportAcademic

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

    Publication series

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

    Cite this

    Baeten, J. C. M., Bergstra, J. A., & Klop, J. W. (1985). An operational semantics for process algebra. (CWI report. CS-R; Vol. 8522). Centrum voor Wiskunde en Informatica.