The formal execution semantics of SpecC (2002)

by W Mueller, R Dömer, A Gerstlauer
Venue:In Proceedings of the International Symposium on System Synthesis