@article{vanGlabbeek_Hfner_15,
    author           = {van Glabbeek, Robert and H\"ofner, Peter},
    doi              = {10.1007/s00236-015-0221-6},
    journal          = {Acta Informatica},
    keywords         = {process algebra, expressiveness, fair schedulers, progress, justness, fairness, ccs, petri nets,
                        mutual exclusion},
    month            = apr,
    number           = {2-3},
    pages            = {175--205},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8302.pdf},
    title            = {{{CCS}}: It's not fair! {F}air schedulers cannot be implemented in {{CCS}}-like languages even under
                        progress and certain fairness assumptions},
    volume           = {52},
    year             = {2015}
  }