Jurriaan Rot, Todd Schmid, Jana Wagemaker. GKAT with Hoare Hypotheses. 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.