Languages of Higher-Dimensional Timed Automata

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg. Languages of Higher-Dimensional Timed Automata. In Lars Michael Kristensen, Jan Martijn E. M. van der Werf, editors, Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Volume 14628 of Lecture Notes in Computer Science, pages 197-219, Springer, 2024. [doi]

Abstract

Abstract is missing.