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

    95 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.
    de Roever, Willem-Paul ; de Boer, Frank ; Hanneman, Ulrich ; Hooman, Jozef ; Lakhneche, Yassine ; Poel, Mannes ; Zwiers, Job. / Concurrency Verification : Introduction to Compositional and Noncompositional Methods. Cambridge, UK : Cambridge University Press, 2001. 776 p. (Cambridge Tracts in Theoretical Computer Science).
    @book{335c34f7a1d744fa8981c64704e889d6,
    title = "Concurrency Verification: Introduction to Compositional and Noncompositional Methods",
    author = "{de Roever}, Willem-Paul and {de Boer}, Frank and Ulrich Hanneman and Jozef Hooman and Yassine Lakhneche and Mannes Poel and Job Zwiers",
    year = "2001",
    language = "English",
    isbn = "0-521-80608-9",
    series = "Cambridge Tracts in Theoretical Computer Science",
    publisher = "Cambridge University Press",
    address = "United Kingdom",

    }

    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 University Press, Cambridge, UK.

    Concurrency Verification : Introduction to Compositional and Noncompositional Methods. / de Roever, Willem-Paul; de Boer, Frank; Hanneman, Ulrich; Hooman, Jozef; Lakhneche, Yassine; Poel, Mannes; Zwiers, Job.

    Cambridge, UK : Cambridge University Press, 2001. 776 p. (Cambridge Tracts in Theoretical Computer Science; Vol. 54).

    Research output: Book/ReportBookAcademic

    TY - BOOK

    T1 - Concurrency Verification

    T2 - Introduction to Compositional and Noncompositional Methods

    AU - de Roever, Willem-Paul

    AU - de Boer, Frank

    AU - Hanneman, Ulrich

    AU - Hooman, Jozef

    AU - Lakhneche, Yassine

    AU - Poel, Mannes

    AU - Zwiers, Job

    PY - 2001

    Y1 - 2001

    M3 - Book

    SN - 0-521-80608-9

    T3 - Cambridge Tracts in Theoretical Computer Science

    BT - Concurrency Verification

    PB - Cambridge University Press

    CY - Cambridge, UK

    ER -

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