de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125 Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011). MSC: 68N19 68-01 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{W.-P. de Roever} et al., Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. Cambridge: Cambridge University Press (2011; Zbl 1214.68125)
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job Concurrency verification. Introduction to compositional and noncompositional methods. (English) Zbl 1009.68020 Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001). Reviewer: Mihai Cipu (Bucureşti) MSC: 68N19 68-01 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{W.-P. de Roever} et al., Concurrency verification. Introduction to compositional and noncompositional methods. Cambridge: Cambridge University Press (2001; Zbl 1009.68020)