TY  - SER
AU  - Akelia, V
AU  - Gopalakrishnan, Ganesh
TI  - Specification and Validation of Control-Intensive Ic' in Hopcp
KW  - Concurrent Systems
KW  - Asynchronous
KW  - Hardware Description Languages
ER  -