@inproceedings{LukoschusvH05c,
  author = {Jan Lukoschus and Reinhard von Hanxleden},
  title = {Removing Cycles in {Esterel} Programs},
  booktitle = {Synchronous Programming - SYNCHRON '04},
  year = {2005},
  number = {04491},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
  optaddress = {Dagstuhl, Germany},
  opturl = {http://drops.dagstuhl.de/opus/volltexte/2005/160},
  optannote = {Keywords: Synchronous Languages, compilation, cyclic circuits, constructiveness, Esterel},
}