On sequential composition, action prefixes and process prefix

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

    Research output: Book/ReportReportAcademic

    143 Downloads (Pure)
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages21
    Publication statusPublished - 1993

    Publication series

    NameComputing science notes
    Volume9314

    Cite this