Formal Molecular Biology Done in CCS-R

We present CCS-R, a reversible variant of Milner's CCS offering a backtracking mechanism. Formalization of biological systems satisfying a ''perfect mix'' assumption within CCS-R is discussed.

[1]  David Harel,et al.  The immune system as a reactive system: modeling T cell activation with statecharts , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[2]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.

[3]  Corrado Priami,et al.  Proved Trees , 1992, ICALP.

[4]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[5]  Ehud Shapiro,et al.  Cells as Computation , 2003, CMSB.

[6]  P. Degano,et al.  Causal π-Calculus for Biochemical Modelling , 2002 .

[7]  E. Gilles,et al.  Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors , 2002, Nature Biotechnology.

[8]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[9]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

[10]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[11]  Hiroyuki Ogata,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 1999, Nucleic Acids Res..

[12]  Jean-Jacques Lévy,et al.  A Calculus of Mobile Agents , 1996, CONCUR.

[13]  Roger E Bumgarner,et al.  Integrated genomic and proteomic analyses of a systematically perturbed metabolic network. , 2001, Science.

[14]  Davide Sangiorgi,et al.  A fully abstract semantics for causality in the $\pi$-calculus , 1998, Acta Informatica.

[15]  Corrado Priami,et al.  Non-Interleaving Semantics for Mobile Processes , 1999, Theor. Comput. Sci..

[16]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[17]  Cosimo Laneve,et al.  Core Formal Molecular Biology , 2003, ESOP.

[18]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[19]  Cosimo Laneve,et al.  Graphs for Core Molecular Biology , 2003, CMSB.

[20]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[21]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[22]  Rocco De Nicola,et al.  A Partial Ordering Semantics for CCS , 1990, Theor. Comput. Sci..

[23]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.