Higher-Dimensional Automata : Extension to Infinite Tracks

Luc Passemard, Amazigh Amrane, Uli Fahrenberg

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