Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhneche, Mannes Poel, Job Zwiers

    Research output: Book/ReportBookAcademic

    306 Downloads (Pure)
    Original languageEnglish
    Place of PublicationCambridge, UK
    PublisherCambridge University Press
    Number of pages776
    ISBN (Print)0-521-80608-9
    Publication statusPublished - 2001

    Publication series

    NameCambridge Tracts in Theoretical Computer Science
    PublisherCambridge University Press
    Volume54

    Cite this