Closure and Decision Properties for Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

Browse the full ICTAC paper archive.