PAPERS AND TECHNICAL REPORTS
Regev, A., Silverman, W., and Shapiro, E. (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra. Proceedings of the Pacific Symposium of Biocomputing 2001 (PSB2001), 6: 459-470.
Priami, C., Regev, A., Silverman, W., and Shapiro, E. (2001) Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters 80: 25-31.
Regev A. (2001) Representation and simulation of molecular pathways in the stochastic pi-calculus. Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks.
Regev, A., Silverman, W., and Shapiro, E. (2000) Representing biomolecular processes with computer process algebra: pi-calculus programs of signal transduction pathways.