@techreport{LivH05a,
  author = {Xin Li and Reinhard von Hanxleden},
  title = {A Concurrent Reactive {E}sterel Processor Based on Multi-Threading},
  type = {Technical Report},
  number = {0509},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  year = {2005},
  month = {November},
  pdf = {report-0509.pdf},
}