Skip to Main content Skip to Navigation
Journal articles

Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework

Loïc Paulevé 1, * Morgan Magnin 1 Olivier Roux 2
* Corresponding author
2 MeForBio
IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
Abstract : In this paper, we introduce a framework allowing to model and analyse efficiently Gene Regulatory Networks in their temporal and stochastic aspects. The analysis of stable states and inference of René Thomas' discrete parameters derives from this logical formalism. We offer a compositional approach which comes with a natural translation to the Stochastic π-Calculus. The method we propose consists in successive refinements of generalized dynamics of Gene Regulatory Networks. We apply this method to the control of the differentiation in a Gene Regulatory Network generalizing metazoan segmentation processes.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
Contributor : Loïc Paulevé <>
Submitted on : Tuesday, February 18, 2014 - 5:45:01 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:08 PM
Long-term archiving on: : Sunday, May 18, 2014 - 12:15:22 PM


Files produced by the author(s)



Loïc Paulevé, Morgan Magnin, Olivier Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. Transactions on Computational Systems Biology, Springer, 2011, XIII, pp.171-191. ⟨10.1007/978-3-642-19748-2_8⟩. ⟨hal-00397235v2⟩



Record views


Files downloads