DAVIES J. <br/><br/>
SPECIFICATION AND PROOF IN REAL-TIME CSP 

 -  CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS  1993 
 - 180 p. 
<br/><br/><label>ISBN: </label>0000521450551 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROCESSIONG MODES : REAL-TIME PROCESSING
<br/><br/><label>Dewey Class. No.: </label>004.33  / D18