@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 }