Davis, Jim. <br/><br/>
Specification and Proof in real- time CSP / 
Jim Davis. 
 - Cambridge :  Press Sydicate,  c1993. 
 - xvii,180 p. 
<br/><br/><label>ISBN: </label>0521450551 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Communicating Sequential Processes (computer Programs)<br/>Computer Programs.
<br/><br/><label>LC Class. No.: </label>QA 76.6  / .D38