Application of a stochastic name-passing calculus to representation and simulation of molecular processes

By C. Priami, Aviv Regev, Ehud Y. Shapiro, William Silverman. Information Processing Letters, 2001

513 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Reversible Communicating Systems (2004, methodology): “Following Regev [4, 5], process algebras have been investigated recently for modeling biological systems.”
Bio-PEPA: A framework for the modelling and analysis of biological systems (2009, background): “The former is the most widely-used abstraction in this context and it has been chosen in a lot of case studies involving the π-calculus and Beta-binders [50,49,25,26].”
A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. (2006, background): “BioSPI interprets a model-specification language, a variant of the π -calculus, and provides the capability to perform a stochastic simulation (http://www.wisdom.weizmann.ac.il/~biopsi/) ( 110 ).”
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling (2008, background): “This led, for example, to the development of the biochemical stochastic π-calculus [1] and BioAmbients [14].”
Rule-Based Modelling of Cellular Signalling (2007, unknown): “to propose Milner’s π-calculus [20], a minimal language for describing concurrent systems, as a language for modelling biological systems [21,22,23].”
BioAmbients: an abstraction for biological compartments (2004, methodology): “Since BioAmbients contains the stochastic π-calculus [17], we discuss only the additional entities and operations.”