Formal Molecular Biology Done in CCS-R
暂无分享,去创建一个
[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.