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 for both the time and probability of biochemical reactions, and present a computer implementation of the calculus for biochemical simulations. 
BioSPI, a tool implementing a stochastic variant of the pi-calculus, has been used to simulate both the time and probability of biochemical reactions REF .
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
Mathematics Computer Science