TY - RPRT TI - Investigating modularity in the analysis of process algebra models of biochemical systems AU - Federica Ciocchetta AU - Maria Luisa Guerriero AU - Jane Hillston PY - 2010 DO - 10.4204/eptcs.19.4 UR - https://arxiv.org/abs/1002.4063 ID - 1002.4063 ER -