Kantorovich Functors and Characteristic Logics for Behavioural Distances (bibtex)

by Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild

Reference:

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: Kantorovich Functors and Characteristic Logics for Behavioural Distances, In Pawel Sobocinski, Orna Kupferman, eds.: Foundations of Software Science and Computation Structures (FoSSaCS 2023), Springer International Publishing, 2023.

Bibtex Entry:

@InProceedings{   GoncharovHofmannEtAl23,
  editor        = "Pawel Sobocinski and Orna Kupferman",
  title         = {Kantorovich Functors and Characteristic Logics for
                  Behavioural Distances},
  author        = {Sergey Goncharov and Dirk Hofmann and Pedro Nora and Lutz
                  Schröder and Paul Wild},
  year          = "2023",
  booktitle     = "Foundations of Software Science and Computation Structures
                  (FoSSaCS 2023)",
  publisher     = "Springer International Publishing",
  nopages       = "542--561"
}