Kurshan, R. P. <br/><br/>
Computer-aided verification of coordinating processes: The automata-theoretic approach 

 - Princeton; New Jersey  Princeton University Press  1994 
 - xii, 270p. 
 - Princeton series in computer science .
<br/><br/><label>ISBN: </label>0-691-03436-2