A Stochastic Semantics for BioAmbients, Parallel Computing Technologies, 4671 of LNCS, pp.22-34, 2007. ,
DOI : 10.1007/978-3-540-73940-1_3
The Biochemical Abstract Machine BIOCHAM, CMSB'04, 3082 of LNCS, pp.172-191, 2004. ,
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.103-117, 2008. ,
DOI : 10.1016/j.entcs.2007.12.008
Modelling Biological Compartments in Bio-PEPA, ENTCS, pp.77-95, 2009. ,
DOI : 10.1016/j.entcs.2008.12.105
URL : http://doi.org/10.1016/j.entcs.2008.12.105
Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004. ,
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591
Modelling and simulation of biological processes in BlenX, ACM SIGMETRICS Performance Evaluation Review, vol.35, issue.4, pp.32-39, 2008. ,
DOI : 10.1145/1364644.1364653
Spontaneous separation of bi-stable biochemical systems into spatial domains of opposite phases, Systems Biology, vol.1, issue.2, pp.230-236, 2004. ,
DOI : 10.1049/sb:20045021
Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977. ,
DOI : 10.1021/j100540a008
Plug'n Simulate. ANSS'07, IEEE Proceedings, vol.0, pp.137-143, 2007. ,
The Attributed Pi Calculus, CMSB'08, 5307 of LNCS, pp.83-102, 2008. ,
DOI : 10.1007/978-3-540-88562-7_10
URL : https://hal.archives-ouvertes.fr/inria-00308970
Stochastic Bigraphs, Electronic Notes in Theoretical Computer Science, vol.218, pp.73-96, 2008. ,
DOI : 10.1016/j.entcs.2008.10.006
URL : https://hal.archives-ouvertes.fr/hal-00530712
A Stochastic Pi Calculus for Concurrent Objects, Algebraic Biology, 4545 of LNCS, pp.232-246, 2007. ,
DOI : 10.1007/978-3-540-73433-8_17
URL : https://hal.archives-ouvertes.fr/inria-00121104
Pure bigraphs: Structure and dynamics. Information and Computation, pp.60-122, 2006. ,
DOI : 10.1016/j.ic.2005.07.003
URL : http://doi.org/10.1016/j.ic.2005.07.003
An Abstract Machine for the Stochastic Bioambient calculus, Electronic Notes in Theoretical Computer Science, vol.227, pp.143-159, 2009. ,
DOI : 10.1016/j.entcs.2008.12.109
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, CMSB'07, 4695 of LNCS, pp.184-199, 2007. ,
DOI : 10.1007/978-3-540-75140-3_13
Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.80, issue.1, pp.25-31, 2001. ,
DOI : 10.1016/S0020-0190(01)00214-9
BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004. ,
DOI : 10.1016/j.tcs.2004.03.061
Cells as Computation, Nature, vol.419, p.343, 2002. ,
DOI : 10.1007/3-540-36481-1_1
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi, ESOP'07, 4421 of LNCS, pp.411-425, 2007. ,
DOI : 10.1007/978-3-540-71316-6_28
Stochastic biological modelling in the presence of multiple compartments, Theoretical Computer Science, vol.410, issue.33-34 ,
DOI : 10.1016/j.tcs.2009.03.038