TY - RPRT TI - Globular realization and cubical underlying homotopy type of time flow of process algebra AU - Philippe Gaucher PY - 2007 UR - https://arxiv.org/abs/0708.3584 ID - 0708.3584 ER -