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

14 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).