@inproceedings{vanGlabbeek_18_3,
    publisher        = {Schloss Dagstuhl},
    doi              = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.3},
    month            = sep,
    booktitle        = {Proceedings of the 29th International Conference on Concurrency Theory (CONCUR)},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/vanGlabbeek_18_3.pdf},
    series           = {Leibniz International Proceedings in Informatics (LIPIcs) 118:3},
    year             = {2018},
    issn             = {18688969},
    editor           = {{Sven Schewe and Lijun Zhang}},
    keywords         = {Mutual exclusion; speed independence; concurrent reading and writing; liveness; justness.},
    volume           = {118},
    numpages         = {3 p.},
    title            = {Is Speed-Independent Mutual Exclusion Implementable?},
    author           = {van Glabbeek, Rob},
    date             = {2018-9-4},
    address          = {Beijing, China}
  }