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.