@misc{Traulsen08, author = {Claus Traulsen and Michael Mendler and Reinhard von Hanxleden}, title = {The {Kiel Lustre Processor/WCRT} Interface Algebra}, howpublished = {Presentation at the 15th International Open Workshop on Synchronous Programming (SYNCHRON '08), Aussois, France}, month = {December}, year = {2008}, urltalk = {synchron08-talk.pdf}, }