@misc{indiciaeb71d001ca300, title = {Higher-Dimensional Timed Automata for Real-Time Concurrency}, author = {Amazigh Amrane and Hugo Bazille and Emily Clement and Uli Fahrenberg and Philipp Schlehuber-Caissier}, year = {2025}, url = {https://arxiv.org/abs/2401.17444}, note = {Source identifier: 2401.17444} }