@techreport{AguadoMH+15a,
  author = {Joaqu{\'i}n Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann},
  title = {Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  type = {Technical Report},
  note = {{ISSN 2192-6247}},
  number = {1504},
  month = {May},
  year = {2015},
  pdf = {report-1504.pdf},
}