On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.

Hubert Garavel Gwen Salaün Wendelin Serwe On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. 100-127 2009 74 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2008.09.011 db/journals/scp/scp74.html#GaravelSS09