Regev et al: "Representation and simulation of biochemical processes using the pi-calculus process algebra"

Click regev_psb.pdf link to view the file.