@inproceedings{inproceedings, title  = {{A Kleene Theorem for Higher-Dimensional Automata}},

 url = {{}},

 year = {{2022}},

 month = {{9}},

 author = {{Fahrenberg U and Johansen C and Struth G and Ziemiański K}},

 doi = {{10.4230/LIPIcs.CONCUR.2022.29}},

 isbn = {{9783959772464}},

 volume = {{243}},

 journal = {{Leibniz International Proceedings in Informatics, LIPIcs}},

 note = {{Accessed on 2024/12/25}}}