@article{ArmstrongSW13,
  author       = {Alasdair Armstrong and
                  Georg Struth and
                  Tjark Weber},
  title        = {Kleene Algebra},
  journal      = {Archive of Formal Proofs},
  year         = {2013},
  url          = {https://www.isa-afp.org/entries/Kleene\_Algebra.shtml},
  timestamp    = {Mon, 25 May 2020 09:13:27 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ArmstrongSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CalkGMS22,
  author       = {Cameron Calk and
                  Eric Goubault and
                  Philippe Malbos and
                  Georg Struth},
  title        = {Algebraic coherent confluence and higher globular {K}leene algebras},
  journal      = {Logical Methods in Computer Science},
  volume       = {18},
  number       = {4},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(4:9)2022},
  doi          = {10.46298/lmcs-18(4:9)2022},
  timestamp    = {Tue, 24 Jan 2023 10:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/CalkGMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CalkMPS23,
Author = {Cameron Calk and Philippe Malbos and Damien Pous and Georg Struth},
Title = {Higher Catoids, Higher Quantales and their Correspondences},
Year = {2023},
journal = {arXiv},
volume = {2307.09253},
}

@article{FahrenbergJSZ23,
  author    = {Fahrenberg, Uli and
               Johansen, Christian and
               Struth, Georg and
               Ziemia{\'n}ski, Krzysztof},
  title     = {Catoids and Modal Convolution Algebras},
  journal   = {Algebra Universalis},
  volume = {84},
  pages = {10},
  year      = {2023}
}

@article{GomesGHSW16,
  author       = {Victor B. F. Gomes and
                  Walter Guttmann and
                  Peter H{\"{o}}fner and
                  Georg Struth and
                  Tjark Weber},
  title        = {Kleene Algebras with Domain},
  journal      = {Archive of Formal Proofs},
  year         = {2016},
  url          = {https://www.isa-afp.org/entries/KAD.shtml},
  timestamp    = {Mon, 25 May 2020 09:13:24 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GomesGHSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{GomesS16,
  author       = {Victor B. F. Gomes and Georg Struth},
  title        = {Modal {K}leene Algebra Applied to Program Correctness},
  booktitle    = {{FM} 2016},
  series       = {LNCS},
  volume       = {9995},
  pages        = {310--325},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48989-6\_19},
  doi          = {10.1007/978-3-319-48989-6\_19},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/GomesS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@Unpublished{PousS23,
  author = 	 {Damien Pous and Georg Struth},
  title = 	 {Dedekind Quantaloids as Intuitionistic Modal Algebras},
  note = 	 {In preparation},
  year = 	 2023}

@Article{Resende18,
  author = 	 {Pedro Resende},
  title = 	 {Open Maps of Involutive Quantales},
  journal = 	 {Applied Categorical Structures},
  year = 	 2018,
  volume = 	 26,
  pages = 	 {631-644}}

@Book{Rosenthal90,
  author = 	 {Rosenthal, Kimmo. I.},
  title = 	 {Quantales and Their Applications},
  publisher = 	 {Longman Scientific $\&$ Technical},
  year = 	 1990}

@Book{Rosenthal96,
  author = 	 {Rosenthal, K. I.},
  title = 	 {The Theory of Quantaloids},
  publisher = 	 {Addison Wesley Longman Limited},
  year = 	 1996}

@article{Struth18,
  author       = {Georg Struth},
  title        = {Quantales},
  journal      = {Archive of Formal Proofs},
  year         = {2018},
  url          = {https://www.isa-afp.org/entries/Quantales.html},
  timestamp    = {Mon, 25 May 2020 09:13:16 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Struth18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@Article{Tarski41,
  author = 	 {Alfred Tarski},
  title = 	 {On the Calculus of Relations},
  journal = 	 {Journal of Symbolic Logic},
  year = 	 1941,
  volume = 	 6,
  number = 	 3,
  pages = 	 {73--89}}

