Concurrency verification
Subtitle: introduction to compositional and noncompositional methods
By: Willem-Paul de Roever ... [et al.].
Contributors: Roever, W.-P. de, 1943-
Series: Cambridge tracts in theoretical computer science -- 54.
Publisher: Cambridge University Press
Published: 2001
Place of publication: Cambridge, UK; New York, NY, USA
Language: eng
Number of pages: 776
Subjects: Parallel processing (Electronic computers); Computer software -- Verification.
Notes: Includes bibliographical references (p. 710-746) and index.