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

Abstract

We describe a novel application of a stochastic name-passing calculus for the study of biomolecular systems. We specify the structure and dynamics of biochemical networks in a variant of the stochastic π-calculus, yielding a model which is mathematically well-defined and biologically faithful. We adapt the operational semantics of the calculus to account… (More)
DOI: 10.1016/S0020-0190(01)00214-9

Topics

3 Figures and Tables

Slides referencing similar topics