Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani. Process algebraic verification of SystemC codes. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 62-67, IEEE, 2008. [doi]
Abstract is missing.