de Roever, W-P., et.al. <br/><br/>
Concurrency Verification: Introduction to compositional and noncompositional methods 

 - Cambridge  Cambridge University Press  2001 
 - xxii, 776p. 
 - Cambridge Tracts in Theoretical Computer Science no. 54 .
<br/><br/><label>ISBN: </label>978-0-521-80608-4