Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques (bibtex)

by Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski and Paul Wild

Reference:

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski and Paul Wild: Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques, In Rupak Majumdar, Alexandra Silva, eds.: 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada, LIPIcs, vol. 311, pp. 20:1–20:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{DBLP:conf/concur/DAngeloGK0NRW24,
  author       = {Keri D'Angelo and
                  Sebastian Gurke and
                  Johanna Maria Kirss and
                  Barbara K{\"{o}}nig and
                  Matina Najafi and
                  Wojciech Rozowski and
                  Paul Wild},
  editor       = {Rupak Majumdar and
                  Alexandra Silva},
  title        = {Behavioural Metrics: Compositionality of the Kantorovich Lifting and
                  an Application to Up-To Techniques},
  booktitle    = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
                  September 9-13, 2024, Calgary, Canada},
  series       = {LIPIcs},
  volume       = {311},
  pages        = {20:1--20:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.20},
  doi          = {10.4230/LIPICS.CONCUR.2024.20},
  timestamp    = {Mon, 03 Mar 2025 21:00:57 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/DAngeloGK0NRW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}