Shaw, Alan C. <br/><br/>
Communicating Real-Time State Machines 

 - 805-816 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Concurrent Systems<br/>Executable Spections<br/>State Space