Representation and simulation of biochemical processes using the pi-calculus process algebra (2001)

by A Regev, W Silverman, E Shapiro
Venue:Pacific Symposium on Biocomputing