@inproceedings{Hofner_GM_19,
    address          = {Prague, Czech Republic},
    author           = {H\"{o}fner, Peter and van Glabbeek, Robert and Markl, Michael},
    booktitle        = {European Symposium on Programming},
    date             = {2019-4-6},
    doi              = {https://doi.org/10.1007/978-3-030-17184-1\_24},
    month            = apr,
    numpages         = {25},
    paperurl         = {https://trustworthy.systems/publications/full_text/Hofner_GM_19.pdf},
    publisher        = {Springer},
    title            = {{A} Process Algebra for Link Layer Protocols},
    volume           = {11423},
    year             = {2019}
  }