Akelia, V Gopalakrishnan, Ganesh <br/><br/>
Specification and Validation of Control-Intensive Ic' in Hopcp 

 - 405-423 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Concurrent Systems<br/>Asynchronous<br/>Hardware Description Languages