@inproceedings{Dyseryn_GH_17,
    address          = {Berlin},
    author           = {Dyseryn, Victor and van Glabbeek, Robert and H\"{o}fner, Peter},
    booktitle        = {Combined International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural
                        Operational Semantics (EXPRESS/SOS)},
    date             = {2017-8-31},
    doi              = {https://doi.org/10.4204/EPTCS.255.2},
    month            = aug,
    numpages         = {17},
    paperurl         = {https://trustworthy.systems/publications/full_text/Dyseryn_GH_17.pdf},
    publisher        = {Open Publishing Association},
    series           = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
    title            = {Analysing Mutual Exclusion using Process Algebra with Signals},
    volume           = {255},
    year             = {2017}
  }