Higher-Dimensional Automata: Extension to Infinite Tracks. - Luc Passemard; Amazigh Amrane; Uli Fahrenberg (FSCD, 2025)