Mobile values, new names, and secure communication, POPL, pp.104-115, 2001. ,
DOI : 10.1145/373243.360213
URL : https://hal.archives-ouvertes.fr/hal-01423924
An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229 ,
Algebraic Biology, Second International Conference Proceedings, volume 4545 of Lecture Notes in Computer Science, 2007. ,
DOI : 10.1007/978-3-540-73433-8
A fully abstract encoding of the pi-calculus with data terms, Lecture Notes in Computer Science, vol.3580, pp.244-1202, 2005. ,
The Calculus of Looping Sequences, SFM, pp.387-423, 2008. ,
DOI : 10.1007/978-3-540-68894-5_11
Spatial Calculus of Looping Sequences, Electronic Notes in Theoretical Computer Science, vol.229, issue.1, pp.21-39, 2009. ,
DOI : 10.1016/j.entcs.2009.02.003
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, 1985. ,
Shape calculus: A spatial calculus for 3d colliding shapes, 2009. ,
Hybrid Semantics for Stochastic ??-Calculus, Lecture Notes in Computer Science, vol.5147, pp.40-55, 2008. ,
DOI : 10.1007/978-3-540-85101-1_4
Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.99, issue.9, pp.66-90, 2008. ,
DOI : 10.1007/s10601-007-9034-8
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems, 2005. ,
A Stochastic Semantics for BioAmbients, PaCT, pp.22-34, 2007. ,
DOI : 10.1007/978-3-540-73940-1_3
Computational Methods in Systems Biology, International Conference Proceedings, volume 4695 of Lecture Notes in Computer Science, 2007. ,
DOI : 10.1007/978-3-540-75140-3
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.221805-1807, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
A Translation of Beta-binders in a Prioritized Pi-calculus, Electronic Notes in Theoretical Computer Science, vol.229, issue.1, pp.109-125, 2009. ,
DOI : 10.1016/j.entcs.2009.02.008
Brane Calculi, Lecture Notes in Computer Science, vol.80, issue.2, pp.257-278, 2004. ,
DOI : 10.1016/S0020-0190(01)00214-9
A process model of Rho GTP-binding proteins, Theoretical Computer Science, vol.410, issue.33-34, pp.33-343166, 2009. ,
DOI : 10.1016/j.tcs.2009.04.029
Processes in space, 2009. ,
Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.29-30, 2007. ,
DOI : 10.1093/bib/bbm029
Biochemical effects of molecular crowding, Biochemistry (Moscow), vol.274, issue.11, pp.691239-1251, 2004. ,
DOI : 10.1007/s10541-005-0070-y
A formulation of the simple theory of types, The Journal of Symbolic Logic, vol.1, issue.02, pp.56-68, 1940. ,
DOI : 10.2307/2371199
Modelling Biological Compartments in Bio-PEPA, Electronic Notes in Theoretical Computer Science, vol.227, pp.77-95, 2009. ,
DOI : 10.1016/j.entcs.2008.12.105
Bio-PEPA: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, vol.410, issue.33-34, pp.33-343065, 2009. ,
DOI : 10.1016/j.tcs.2009.02.037
Lscs: Breathing life into message sequence charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001. ,
DOI : 10.1023/A:1011227529550
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5472
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
Discrete event, multi-level simulation of metabolite channeling, Biosystems, vol.75, issue.1-3, pp.29-41, 2004. ,
DOI : 10.1016/j.biosystems.2004.03.008
The Beta Workbench: a computational tool to study the dynamics of biological systems, Briefings in Bioinformatics, vol.9, issue.5, pp.437-449, 2008. ,
DOI : 10.1093/bib/bbn023
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
Cellular Automaton Modeling of Biological Pattern Formation, Birkhäuser Boston, 2004. ,
Expressiveness of point-to-point versus broadcast communications, Lecture Notes in Computer Science, vol.1684, pp.258-268, 1999. ,
DOI : 10.1007/3-540-48321-7_21
Ueber Licht- und Farbenperception niederster Organismen, Pfl??ger, Archiv f??r die Gesammte Physiologie des Menschen und der Thiere, vol.29, issue.1, pp.387-400, 1882. ,
DOI : 10.1007/BF01612047
Rule-based modeling of biochemical networks, Complexity, vol.1, issue.4, pp.22-41, 2005. ,
DOI : 10.1002/cplx.20074
On the Analysis of Numerical Data Time Series in Temporal Logic, pp.48-63, 2007. ,
DOI : 10.1007/978-3-540-75140-3_4
Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008. ,
DOI : 10.1016/j.tcs.2008.04.024
URL : https://hal.archives-ouvertes.fr/hal-01431355
Computational insights into Caenorhabditis elegans vulval development, Proceedings of the National Academy of Sciences, vol.102, issue.6, pp.1951-1956, 2005. ,
DOI : 10.1073/pnas.0409433102
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC548551
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels, The Journal of Physical Chemistry A, vol.104, issue.9, pp.1876-1889, 2000. ,
DOI : 10.1021/jp993732q
A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-434, 1976. ,
DOI : 10.1016/0021-9991(76)90041-3
Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977. ,
DOI : 10.1021/j100540a008
Modeling Static Biological Compartments with Beta-binders, In Anai et al, pp.247-261, 2007. ,
DOI : 10.1007/978-3-540-73433-8_18
A flexible architecture for modeling and simulation of diffusional association, Electronic Proceedings in Theoretical Computer Science, vol.19, pp.70-84, 1002. ,
DOI : 10.4204/EPTCS.19.5
MODELING AND SIMULATION OF MOLECULAR BIOLOGY SYSTEMS USING PETRI NETS: MODELING GOALS OF VARIOUS APPROACHES, Journal of Bioinformatics and Computational Biology, vol.02, issue.04, pp.595-613, 2004. ,
DOI : 10.1142/S0219720004000764
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
Compartmental rule-based modeling of biochemical systems, Proceedings of the 2009 Winter Simulation Conference (WSC), 2009. ,
DOI : 10.1109/WSC.2009.5429719
Computational Methods in Systems Biology, 6th International Conference Proceedings, volume 5307 of Lecture Notes in Computer Science, 2008. ,
DOI : 10.1007/978-3-540-88562-7
Plug'n Simulate, 40th Annual Simulation Symposium (ANSS'07), pp.137-143, 2007. ,
DOI : 10.1109/ANSS.2007.34
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980. ,
DOI : 10.1145/322217.322230
Multi-resolution spatial simulation for molecular crowding, 2008 Winter Simulation Conference, pp.1384-1392, 2008. ,
DOI : 10.1109/WSC.2008.4736214
Extended pi-Calculi, Lecture Notes in Computer Science, vol.5126, issue.2, pp.87-98, 2008. ,
DOI : 10.1007/978-3-540-70583-3_8
A Spatial Extension to the ?? Calculus, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.133-148, 2008. ,
DOI : 10.1016/j.entcs.2007.12.010
URL : https://hal.archives-ouvertes.fr/hal-00656206
A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification, Developmental Biology, vol.323, issue.1, p.1, 2008. ,
DOI : 10.1016/j.ydbio.2008.07.030
Cell-signalling dynamics in time and space, Nature Reviews Molecular Cell Biology, vol.20, issue.3, pp.165-176, 2006. ,
DOI : 10.1038/nrm1838
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete, 2009 Ninth International Conference on Application of Concurrency to System Design, 2008. ,
DOI : 10.1109/ACSD.2009.8
Modeling Chemical Systems Using Cellular Automata, 2005. ,
Computational systems biology, Nature, vol.14, issue.6912, pp.206-210, 2002. ,
DOI : 10.1038/35002125
Systems Biology: A Brief Overview, Science, vol.295, issue.5560, pp.1662-1664, 2002. ,
DOI : 10.1126/science.1069492
Systems Biology: A Textbook, 2009. ,
Nucleo-cytoplasmic distribution of ??-catenin is regulated by retention, Journal of Cell Science, vol.119, issue.7, pp.1453-1463, 2006. ,
DOI : 10.1242/jcs.02864
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
Modeling Bacterial Gene Expression in a Stochastic Pi-Calculus with Concurrent Objects, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00111653
Rule-based modeling of transcriptional attenuation at the tryptophan operon, Transactions on Computaional Systems Biology XII. Special Issue on Modeling Methodologies LNCS (Lecture Notes in Bioinformatics), vol.5945, pp.199-228, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00445565
A Stochastic Pi Calculus for Concurrent Objects, In Anai et al, pp.232-246, 2007. ,
DOI : 10.1007/978-3-540-73433-8_17
URL : https://hal.archives-ouvertes.fr/inria-00121104
Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch, Transactions on Computational Systems Biology, vol.4230, pp.24-55, 2006. ,
DOI : 10.1007/11905455_2
URL : https://hal.archives-ouvertes.fr/inria-00089218
PRISM 2.0: a tool for probabilistic model checking, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., pp.322-323, 2004. ,
DOI : 10.1109/QEST.2004.1348048
The continuous pi-calculus: A process algebra for biochemical modelling, Heiner and Uhrmacher, pp.103-122, 2008. ,
Introduction to Stochastic Processes., Chapman & Hall/CRC Probability Series). Chapman and Hall/CRC, 2006. ,
DOI : 10.2307/2533988
A flexible architecture for performance experiments with the pi-Calculus and its extensions, Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, 2010. ,
DOI : 10.4108/ICST.SIMUTOOLS2010.8820
Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator, ACM Transactions on Modeling and Computer Simulation, vol.8, issue.1, pp.3-30, 1998. ,
DOI : 10.1145/272991.272995
Component-Based Modelling of RNA Structure Folding, pp.44-62, 2008. ,
DOI : 10.1007/978-3-540-88562-7_8
Integrating diverse reaction types into stochastic models -a signaling pathway case study in the imperative pi-calculus, pp.932-943, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00656195
It???s a noisy business! Genetic regulation at the nanomolar scale, Trends in Genetics, vol.15, issue.2, pp.65-69, 1999. ,
DOI : 10.1016/S0168-9525(98)01659-X
Transcription attenuation: a highly conserved regulatory strategy used by bacteria, Trends in Genetics, vol.21, issue.5, pp.260-264, 2005. ,
DOI : 10.1016/j.tig.2005.03.002
Approximations and their consequences for dynamic modelling of signal transduction pathways, Mathematical Biosciences, vol.207, issue.1, pp.40-57, 2007. ,
DOI : 10.1016/j.mbs.2006.08.012
Communicating and Mobile Systems: The Pi Calculus, 1999. ,
The Space and Motion of Communicating Agents, 2009. ,
DOI : 10.1017/CBO9780511626661
A calculus of mobile processes, i. Information and Computation, pp.1-40, 1992. ,
A multiple timescale analysis of a mathematical model of the Wnt/??-catenin signalling pathway, Journal of Mathematical Biology, vol.581, issue.1, pp.131-160, 2010. ,
DOI : 10.1007/s00285-009-0262-y
Foundations for Programming Languages, 1996. ,
Exploiting non-Markovian Bio-Processes, Electronic Notes in Theoretical Computer Science, vol.253, issue.3, pp.83-98, 2009. ,
DOI : 10.1016/j.entcs.2009.10.007
URL : http://doi.org/10.1016/j.entcs.2009.10.007
Cross Talk between Notch and Growth Factor/Cytokine Signaling Pathways in Neural Stem Cells, Molecular and Cellular Biology, vol.27, issue.11, pp.273982-3994, 2007. ,
DOI : 10.1128/MCB.00170-07
Uniform confluence in concurrent computation, Journal of Functional Programming, vol.10, issue.5, pp.453-499, 2000. ,
DOI : 10.1017/S0956796800003762
URL : https://hal.archives-ouvertes.fr/inria-00536801
Comparing the expressive power of the synchronous and asynchronous $pi$ -calculi, Mathematical Structures in Computer Science, vol.13, issue.5, pp.685-719, 2003. ,
DOI : 10.1017/S0960129503004043
URL : https://hal.archives-ouvertes.fr/inria-00201104
Computing with Membranes, Journal of Computer and System Sciences, vol.61, issue.1, pp.108-143, 2000. ,
DOI : 10.1006/jcss.1999.1693
A Language for Biochemical Systems: Design and Formal Specification, Transactions on Computational Systems Biology XII, vol.25, issue.18, pp.77-145, 2010. ,
DOI : 10.1093/bioinformatics/btp401
Kommunikatin mit Automaten, 1962. ,
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, pp.184-199, 2007. ,
DOI : 10.1007/978-3-540-75140-3_13
Types and Programming Languages, 2002. ,
The cytoskeleton, cellular motility and the reductionist agenda, Nature, vol.29, issue.6933, pp.741-745, 2003. ,
DOI : 10.1038/nature01598
Stochastic ??-Calculus, The Computer Journal, vol.38, issue.7, pp.578-589, 1995. ,
DOI : 10.1093/comjnl/38.7.578
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
Genes and Signals, 2001. ,
Simultaneous gene transcription and translation in bacteria, Nature Education, vol.1, issue.1, 2008. ,
Computational Systems Biology: A Calculus for Biomolecular Knowledge, 2003. ,
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
A Modern Course in Statistical Physics (Physics Textbook), 2009. ,
Stochastic differential equation model for cerebellar granule cell excitability, 2008. ,
On the Use of Process Algebra Techniques in Computational Modeling of Cancer Initiation and Development, 2008. ,
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems, APCCM, volume 96 of CRPIT, pp.39-48, 2009. ,
Intensional interpretations of functionals of finite type I, The Journal of Symbolic Logic, vol.91, issue.02, pp.198-212, 1967. ,
DOI : 10.1007/BF01447860
Space in systems biology of signaling pathways - towards intracellular molecular crowding in silico, FEBS Letters, vol.20, issue.8, pp.5791783-1788, 2005. ,
DOI : 10.1016/j.febslet.2005.01.072
Dynamic structures in modeling and simulation: a reflective approach, ACM Transactions on Modeling and Computer Simulation, vol.11, issue.2, pp.206-232, 2001. ,
DOI : 10.1145/384169.384173
Combining micro and macro-modeling in DEVS for computational biology, 2007 Winter Simulation Conference, pp.871-880, 2007. ,
DOI : 10.1109/WSC.2007.4419683
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi, Lecture Notes in Computer Science, vol.4421, pp.411-425, 2007. ,
DOI : 10.1007/978-3-540-71316-6_28
Encoding Catalytic P Systems in ??@, Electronic Notes in Theoretical Computer Science, vol.171, issue.2, pp.171-186, 2007. ,
DOI : 10.1016/j.entcs.2007.05.015
A Core Calculus for the Analysis and Implementation of Biologically Inspired Languages, 2009. ,
Stochastic biological modelling in the presence of multiple compartments, Theoretical Computer Science, vol.410, issue.33-34, pp.33-343039, 2009. ,
DOI : 10.1016/j.tcs.2009.03.038
An expressiveness study of priority in process calculi, Mathematical Structures in Computer Science, vol.4703, issue.06, pp.1161-1189, 2009. ,
DOI : 10.1016/0890-5401(92)90008-4
Extended analyses of the Wnt/??-catenin pathway: Robustness and oscillatory behaviour, FEBS Letters, vol.65, issue.21, pp.5814043-4048, 2007. ,
DOI : 10.1016/j.febslet.2007.07.043
Theory of Modeling and Simulation, Second Edition, 2000. ,