TY - RPRT TI - Directed algebraic topology and higher dimensional transition system AU - Philippe Gaucher PY - 2010 UR - https://arxiv.org/abs/0903.4276 ID - 0903.4276 ER -