TY - JOUR AU - Philippe Gaucher TI - Towards a homotopy theory of higher dimensional transition systems JO - Theory and applications of categories PY - 2011 SP - 295 EP - 341 VL - 25 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2011_25_a11/ LA - en ID - TAC_2011_25_a11 ER -