TY - RPRT TI - Towards a homotopy theory of process algebra AU - Philippe Gaucher PY - 2008 DO - 10.4310/hha.2008.v10.n1.a16 UR - https://arxiv.org/abs/math/0701552 ID - math/0701552 ER -