@techreport{AguadoMH+15,
  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 = {University of Bamberg, Faculty of Information Systems and Applied Computer Sciences},
  type = {Technical Report},
  note = {{ISSN 0937-3349}},
  number = {96},
  month = {April},
  year = {2015},
}