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

    132 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

    de Roever, W-P., de Boer, F., Hanneman, U., Hooman, J., Lakhneche, Y., Poel, M., & Zwiers, J. (2001). Concurrency Verification: Introduction to Compositional and Noncompositional Methods. (Cambridge Tracts in Theoretical Computer Science; Vol. 54). Cambridge, UK: Cambridge University Press.