The Formal Execution Semantics of SpecC

W. Mueller, R. Doemer, A. Gerstlauer, “The Formal Execution Semantics of SpecC,” TR 02-04, January 11, 2002. download pdf