A Myhill-Nerode theorem for higher-dimensional automata. (English) Zbl 1541.68193
Gomes, Luis (ed.) et al., Application and theory of Petri nets and concurrency. 44th international conference, Petri NETS 2023, Lisbon, Portugal, June 25–30, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13929, 167-188 (2023).