, Secrecy by typing in security protocols, pp.749-786, 1999.
, Some of my favorite results in classic process algebra, BRICS, 2003.
, Brief history of process algebra. Cs-r 04-02, 2004.
, Computational Modelling of Genetic and Biochemical Networks, 2001.
, Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984.
DOI : 10.1016/S0019-9958(84)80025-X
URL : http://doi.org/10.1016/s0019-9958(84)80025-x
, A convergence theorem in process algebra
, Bioware languages Computer Systems: Theory, Technology, and Applications, pp.59-65, 2004.
, Bitonal membrane systems-interactions of biological membranes, 2004.
, Brane Calculi, In Computational Methods in Systems Biology Lecture Notes in Computer Science, vol.80, issue.2, pp.257-280, 2004.
DOI : 10.1016/S0020-0190(01)00214-9
, Language for systems biology Position Paper for Grand Challenges UK, 2004.
, Process calculi and biology. Position Paper for IST FET, 2004.
, Abstract Machines of Systems Biology, Transaction on Computational Systems Biology, III, 2005.
DOI : 10.1007/11599128_10
, Biological systems as complex systems. Position Paper for IST FET Complex Systems, 2005.
, Formal Molecular Biology Done in CCS-R, BioConcur, 2003.
DOI : 10.1016/j.entcs.2004.01.040
, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591
, A general method for numerically simulating the stochastic time evolution of coupled chemical species, Journal of Computational Physic, issue.22, pp.403-434, 1976.
, Exact stochastic simulation of coupled chemical reactions, Journal of Physical Chemistry, p.81, 1977.
, Communicating Sequential Processes, 1985.
, Bigraphs and transitions, 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003.
, Bigraphs and mobile processes(revised ), Kit01] H. Kitano. Foundations of system biology, 2001.
, Global analysis of the genetic network controlling a bacterial cell cycle, Science, vol.290, pp.2144-2148, 2000.
, Pure bigraphs: Structure and dynamics, Information and Computation, vol.204, issue.1
DOI : 10.1016/j.ic.2005.07.003
, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3
, Communication and Concurrency, 1989.
, Communication and Mobile Systems: the -calculus, 1999.
, Bigraphical Reactive Systems, 12th International Conference on Concurrency Theory, pp.16-35, 2001.
DOI : 10.1007/3-540-44685-0_2
, Bigraphical reactive systems: Basic theory, 2001.
DOI : 10.1007/3-540-44685-0_2
, Bigraphs whose names have multiple locality, 2005.
, Pure bigraphs, 2005.
, University Chemistry, 1987.
, A calculus of mobile processes, parts I and II. Information and Computation, pp.1-77, 1992.
, From cells to computers: computing with membranes (p systems ), BioSystems, vol.59, pp.139-158, 2001.
, Membrane Computing: An introduction, 2002.
, A correct abstract machine for the stochastic pi-calculus
, Stochastic ??-Calculus, The Computer Journal, vol.38, issue.7, pp.578-589, 1995.
DOI : 10.1093/comjnl/38.7.578
, Process calculi and life science, Luca Aceto Andrew D
, Algebraic Process Calculi: The First Twenty Five Years and Beyond, pp.213-216, 2005.
, Membrane computing with external output, 1998.
, 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
, A Genetic Switch: Phage and Higher Organisms, 1992.
, Genes and Signals, 2002.
, Concurrency, ACM Computing Surveys, p.28, 1996.
DOI : 10.1016/B978-0-12-374514-9.00008-2
, Representation and simulation of molecular pathways in the stochastic pi calculus, Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks, 2001.
, The ??-calculus as an Abstraction for Biomolecular Systems
DOI : 10.1007/978-3-642-18734-6_11
, Cells as Computation, Nature, vol.149, p.343, 2002.
DOI : 10.1007/3-540-36481-1_1
, Representing biomolecular processes with computer process alge- bra: pi calculus programs of signal transduction pathways Representation and simulation of biochemical processes using the pi calculus process algebra, Proceedings of the Pacific Symposium of Biocomputing, pp.459-470, 2000.
, Theoretical and experimental analysis of the phage lambda genetic switch implies missing levels of co-operativity, Journal of Theoretical Biology, vol.145, issue.3, pp.295-318, 1990.
DOI : 10.1016/S0022-5193(05)80111-0
, The -calculus, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00073650
, Systems biology, IEEE Control Systems Magazine, vol.23, issue.4
DOI : 10.1109/MCS.2003.1213602
, Representation of the Signal Transduction with Aberrance Using Ipi Calculus, Proceedings of 1st International Symposium on Computational and Information Sciences, pp.477-485, 2004.
DOI : 10.1007/978-3-540-30497-5_75
URL : https://hal.archives-ouvertes.fr/hal-00155354
, Typing Aberrance in Signal Transduction, Proceedings of 1st International Conference on Natural Computation, pp.668-677, 2005.
DOI : 10.1007/11539902_82
URL : https://hal.archives-ouvertes.fr/hal-00155502
, Secrecy of Signals by Typing in Signal Transduction, Proceedings of 2st International Conference on Natural Computation, pp.384-393, 2006.
DOI : 10.1007/11881223_47
URL : https://hal.archives-ouvertes.fr/hal-00155525