On the use of process algebra techniques in computational modelling of cancer initiation and development