Higher-Dimensional Automata : Extension to Infinite Tracks

Luc Passemard, Amazigh Amrane, Uli Fahrenberg

We introduce higher-dimensional automata for infinite interval ipomsets ($\omega$-HDAs). We define key concepts from different points of view, inspired from their finite counterparts. T…