Modeling of CSP, KPN and SR Systems with SystemC

Fernando Herrera, Pablo Sánchez, Eugenio Villar. Modeling of CSP, KPN and SR Systems with SystemC. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 572-583, ECSI, 2003. [doi]

Abstract

Abstract is missing.