Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. - F. J. S. Macário; Marcel Vinícius Medeiros Oliveira (SBMF, 2015)