Algebra of communicating processes : part II

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

    Research output: Book/ReportBookPopular

    144 Downloads (Pure)
    Original languageEnglish
    Place of PublicationLeiden
    PublisherInstituut voor Toegepaste Wiskunde en Informatica
    Number of pages70
    Publication statusPublished - 1984

    Bibliographical note

    Landelijk Project Concurrency : syntactische, semantische en bewijstheoretische aspecten : seminarium 7 december 1984 Rijksuniversiteit Leiden.

    Cite this