Modeling, stochastic, cancer, signaling pathways, process algebra, pi-calculus