BioAmbients: an abstraction for biological compartmentsAviv Regev, Ehud Shapiro, Ekaterina M. Panina et al.|Theoretical Computer Science|2004Cited by 476
Application of a stochastic name-passing calculus to representation and simulation of molecular processesCorrado Priami, William B. Silverman, Aviv Regev et al.|Information Processing Letters|2001Cited by 464
Representation and simulation of biochemical processes using the π-calculus process algebraAviv Regev, Ehud Shapiro, William B. Silverman|Unknown|2000Cited by 424