Bernhard Möller, Jules Desharnais. Some Uses of Modal Semirings. In Ionut Tutu, editor, Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers. Volume 15587 of Lecture Notes in Computer Science, pages 23-45, Springer, 2024. [doi]
Abstract is missing.