RATTRAY,C <br/><br/>
SPECIFICATION AND VERIFICATION OF CONCURRENT SYSTEMS (WORKSHOPS IN COMPUTING) 

 - LONDON  SV  1990 
 -  612 
<br/><br/> BR-1042 
<br/><br/><label>ISBN: </label>ERNET  78 
<br/><br/><label>Dewey Class. No.: </label>400