@article{AguadoMH+15b,
  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},
  journal = {Acta Informatica, Special Issue on Combining Compositionality and Concurrency},
  volume = {52},
  number = {4},
  pages = {393--442},
  year = {2015},
  doi = {10.1007/s00236-015-0238-x},
  pdf = {acta14.pdf},
}