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]
@inproceedings{RotSW26,
title = {GKAT with Hoare Hypotheses},
author = {Jurriaan Rot and Todd Schmid and Jana Wagemaker},
year = {2026},
doi = {10.4230/LIPIcs.CONCUR.2026.46},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2026.46},
researchr = {https://researchr.org/publication/RotSW26},
cites = {0},
citedby = {0},
booktitle = {37th International Conference on Concurrency Theory, CONCUR 2026, Liverpool, UK, September 1-4, 2026},
editor = {Ana Sokolova and Patrick Totzke},
volume = {391},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-447-5},
}