Process Algebras for Quantitative Analysis, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.26-29, 2005. ,
DOI : 10.1109/LICS.2005.35
On process rate semantics, Theoretical Computer Science, vol.391, issue.3, pp.190-215, 2008. ,
DOI : 10.1016/j.tcs.2007.11.012
The Biochemical Abstract Machine BIOCHAM, In: Computational Methods in Systems Biology, vol.11, pp.172-191, 2004. ,
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814
Computational Systems Biology: A Calculus for Biomolecular Knowledge, Tel Aviv University, 2003. ,
Cells as Computation, Nature, vol.419, p.343, 2002. ,
DOI : 10.1007/3-540-36481-1_1
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets, Computational Methods in Systems Biology, International Conference, pp.200-216, 2007. ,
DOI : 10.1007/978-3-540-75140-3_14
Rule-Based Modelling of Cellular Signalling, CONCUR -Concurrency Theory, 18th International Conference, pp.17-41, 2007. ,
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297
Rule-based modeling of biochemical networks, Complexity, vol.1, issue.4, pp.22-41, 2005. ,
DOI : 10.1002/cplx.20074
Stochastic Bigraphs, 24th Conference on the Mathematical Foundations of Programming Semantics, 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, Second International Conference on Algebraic Biology, pp.232-246, 2007. ,
DOI : 10.1007/978-3-540-73433-8_17
URL : https://hal.archives-ouvertes.fr/inria-00121104
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, Computational Methods in Systems Biology, International Conference, 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
Brane Calculi, Computational Methods in Systems Biology, International Conference CMSB, pp.257-278, 2004. ,
DOI : 10.1016/S0020-0190(01)00214-9
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
Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.99, issue.9, pp.66-90, 2008. ,
DOI : 10.1007/s10601-007-9034-8
On the expressive power of polyadic synchronisation in pi-calculus, Nordic Journal of Computing, vol.10, pp.70-98, 2003. ,
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi, Programming Languages and Systems, pp.411-425, 2007. ,
DOI : 10.1007/978-3-540-71316-6_28
Stochastic ?-calculus, Computer Journal, vol.6, pp.578-589, 1995. ,
A Stochastic Pi Calculus for Concurrent Objects, 1st International Workshop on Probabilistic Automata and Logics, 2006. ,
DOI : 10.1007/978-3-540-73433-8_17
URL : https://hal.archives-ouvertes.fr/inria-00121104
A correct abstract machine for the stochastic pi-calculus, Proceedings of BioConcur '04, 2004. ,
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure, Computational Methods in Systems Biology, International Conference, pp.80-95, 2007. ,
DOI : 10.1007/978-3-540-75140-3_6
Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987. ,
DOI : 10.1145/41625.41635
Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.232-245, 1990. ,
DOI : 10.1145/96709.96733
The Attributed Pi Calculus, 6th International Conference, pp.83-102, 2008. ,
DOI : 10.1007/978-3-540-88562-7_10
URL : https://hal.archives-ouvertes.fr/inria-00308970
Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch, Transactions on Computational Systems Biology, pp.24-55, 2006. ,
DOI : 10.1007/11905455_2
URL : https://hal.archives-ouvertes.fr/inria-00089218
Modeling Bacterial Gene Expression in a Stochastic Pi Calculus with Concurrent Objects, 2007. ,
URL : https://hal.archives-ouvertes.fr/tel-00111653
A Core Calculus for the Analysis and Implementation of Biologically Inspired Languages, 2009. ,
Plug'n Simulate, 40th Annual Simulation Symposium (ANSS'07), pp.137-143, 2007. ,
DOI : 10.1109/ANSS.2007.34
A Fully Abstract Encoding of the ??-Calculus with Data Terms, Automata, Languages and Programming, 32nd International- Colloquium, pp.1202-1213, 2005. ,
DOI : 10.1007/11523468_97
Extended pi-Calculi, Automata, Languages and Programming, 35th International Colloquium, pp.87-98, 2008. ,
DOI : 10.1007/978-3-540-70583-3_8
Modeling Static Biological Compartments with Beta-binders, Second International Conference, pp.247-261, 2007. ,
DOI : 10.1007/978-3-540-73433-8_18
BlenX Static and Dynamic Semantics, Concurrency Theory, 20th International Conference, pp.37-52, 2009. ,
DOI : 10.1007/11423348_10
Modeling of Genetic Regulatory Network in Stochastic ??-Calculus, First International Conference, pp.282-294, 2009. ,
DOI : 10.1021/j100540a008
Stochastic pi-calculus models of the molecular bases of parkinson's disease, International Conference on Bioinformatics and Computational Biology, pp.298-304, 2008. ,
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
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
Rule-based modeling of transcriptional attenuation at the tryptophan operon, Transactions on Computational Systems Biology, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00445565
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
Foundations for Programming Languages, 1996. ,
A Spatial Extension to the Pi Calculus, ENTCS, vol.194, pp.133-148, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00656206
Cell-signalling dynamics in time and space, Nature Reviews Molecular Cell Biology, vol.20, issue.3, pp.165-176, 2006. ,
DOI : 10.1038/nrm1838
Dynamic Compartments in the Imperative ??-Calculus, 7th International Conference, pp.235-250, 2009. ,
DOI : 10.1007/978-3-540-71316-6_28
URL : https://hal.archives-ouvertes.fr/inria-00422970
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
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.6371
Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977. ,
DOI : 10.1021/j100540a008
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
SciMark 2.0, 2009. ,
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
Integrating diverse reaction types into stochastic models -a signaling pathway case study in the imperative pi-calculus, Proceedings of the Winter Simulation Conference, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00656195
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