@techreport{SchulzRosengartenSvHM18,
  author = {Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden and Michael Mendler},
  title = {A Sequentially Constructive Circuit Semantics for {E}sterel},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  type = {Technical Report},
  month = {February},
  year = {2018},
  note = {{ISSN 2192-6247}},
  number = {1801},
  pdf = {report-1801.pdf},
}