Schedulers as Abstract Interpreter of Higher Dimensional Automata.