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