Closure and decision properties for higher-dimensional automata

Abstract