Takahiro Sanada, Yoàv Montacute, Kittiphon Phalakarn, Ichiro Hasuo. A Coalgebraic Dijkstra Algorithm (Invited Talk). In Ana Sokolova, Patrick Totzke, editors, 37th International Conference on Concurrency Theory, CONCUR 2026, Liverpool, UK, September 1-4, 2026. Volume 391 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.