BibTeX record journals/corr/abs-2308-10654

• > Home > journals/corr/abs-2308-10654

@inproceedings{DBLP:journals/corr/abs-2308-10654,
  author       = {Seyed Hossein Haeri and
                  Peter W. Thompson and
                  Peter Van Roy and
                  Magne Haveraaen and
                  Neil J. Davies and
                  Mikhail Barash and
                  Kevin Hammond and
                  James Chapman},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Algebraic Reasoning About Timeliness},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {35--54},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.3},
  doi          = {10.4204/EPTCS.383.3},
  timestamp    = {Mon, 11 Sep 2023 15:45:27 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10654.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}