Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. - Mylène Maurin; Morgan Magnin; Olivier H. Roux (BICoB, 2009)