Hennessy-Milner Theorems via Galois Connections
Reference
Harsh Beohar, Sebastian Gurke, Barbara König, and Karla Messing. Hennessy-Milner theorems via Galois connections. In Proc. of CSL '23, volume 252 of LIPIcs, pages 12:1–12:18. Schloss Dagstuhl – Leibniz Center for Informatics, 2023.
Suggested BibTeX entry:
@inproceedings{BGKM23,
author = {Harsh Beohar and Sebastian Gurke and Barbara K\"onig and Karla Messing},
booktitle = {Proc. of CSL '23},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {{H}ennessy-{M}ilner Theorems via {G}alois Connections},
volume = {252},
year = {2023}
}
