@misc{indiciae49109c901077, title = {Logic and Languages of Higher-Dimensional Automata}, author = {Amazigh Amrane and Hugo Bazille and Uli Fahrenberg and Marie Fortin}, year = {2024}, url = {https://arxiv.org/abs/2403.19526}, note = {Source identifier: 2403.19526} }