@inproceedings{,Author = {Grüttner, Kim and Kleen, Henning and Oppenheimer, Frank and Rettberg, Achim and Nebel, Wolfgang},Title = {Towards a Synthesis Semantics for SystemC Channels},Year = {2010},Month = {10},type = {inproceedings}}@COMMENT{Bibtex file generated on }