TY  - BOOK
AU  - de Roever, William-Paul et al.
TI  - Concurrency Verification: Introduction to Compositional and Noncompositional Methods
SN  - 0-521-80608-9
CY  - Cambridge
KW  - Concurrency programmes
ER  -