References

  1. PJ Ashenden (2008): The Designer's Guide to VHDL. Morgan Kaufmann Publishers.
  2. S. Basu, Y. Gerchman, C. H Collins, F. H Arnold & R. Weiss (2005): A Synthetic Multicellular System for Programmed Pattern Formation.. Nature 434(7037), pp. 1130–4, doi:10.1038/nature03461.
  3. J. Beal, T. Lu & R. Weiss (2011): Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks. PLoS ONE 6(8), pp. e22490, doi:10.1371/journal.pone.0022490.
  4. L. Bilitchenko, A. Liu, S. Cheung, E. Weeding, B. Xia, M. Leguia, J C. Anderson & D. Densmore (2011): Eugene–A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems.. PloS one 6(4), pp. e18882, doi:10.1371/journal.pone.0018882.
  5. P. Blackburn, J. F. A. K. van Benthem & F. Wolter (2006): Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning). Elsevier Science Inc., doi:10.1016/S1570-2464(07)80017-6.
  6. T. Braüner (2010): Hybrid Logic and Its Proof-Theory. Springer, doi:10.1007/978-94-007-0002-4.
  7. Y. Cai, M. W Lux, L. Adam & J. Peccoud (2009): Modeling Structure-function Relationships in Synthetic DNA Sequences Using Attribute Grammars.. PLoS Computational Biology 5(10), doi:10.1371/journal.pcbi.1000529.
  8. L. Calzone, F. Fages & S. Soliman (2006): BIOCHAM: An Environment for Modeling Biological Systems and Formalizing Experimental Knowledge.. Bioinformatics (Oxford, England) 22(14), pp. 1805–7, doi:10.1093/bioinformatics/btl172.
  9. S. Cerrito & M. C. Mayer (2011): A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. In: Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'11. Springer-Verlag, pp. 104–118, doi:10.1007/978-3-642-22119-4_10.
  10. F. Ciocchetta & J. Hillston (2009): Bio-PEPA: A Framework for the Modelling and Analysis of Biological Systems. Theoretical Computer Science 410(33-34), pp. 3065–3084, doi:10.1016/j.tcs.2009.02.037.
  11. K. Clancy & C. A Voigt (2010): Programming Cells: Towards an Automated Genetic Compiler. Current Opinion in Biotechnology 21(4), pp. 581–572, doi:10.1016/j.copbio.2010.07.005.
  12. M. J Czar, Y. Cai & J. Peccoud (2009): Writing DNA with GenoCAD.. Nucleic Acids Research 37(Web Server issue), pp. W40–7, doi:10.1093/nar/gkp361.
  13. V. Danos, J. Feret, W. Fontana, R. Harmer & J. Krivine (2007): Rule-Based Modelling of Cellular Signalling. In: CONCUR, pp. 17–41, doi:10.1007/978-3-540-74407-8_3.
  14. F. Delaplace, H. Klaudel & A. Cartier-Michaud (2010): Discrete Causal ModelView of Biological Networks. In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10. ACM Press, New York, New York, USA, pp. 4–13, doi:10.1145/1839764.1839767.
  15. J.L. Giavitto, O. Michel, J. Cohen & A. Spicher (2005): Computations in Space and Space in Computations. In: Unconventional Programming Paradigms, Lecture Notes in Computer Science 3566. Springer Berlin / Heidelberg, pp. 97–97, doi:10.1007/11527800_11.
  16. D.G. Gibson, J.I. Glass, C. Lartigue, V.N. Noskov, R.Y. Chuang, M.A. Algire, G.A. Benders, M.G. Montague, L. Ma, M.M. Moodie & Others (2010): Creation of a Bacterial Cell Controlled by a Chemically Synthesized Genome. Science 329(5987), pp. 52, doi:10.1126/science.1190719.
  17. D. Hume (1739): A Treatise of Human Nature, Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects. unknow, doi:10.1037/12868-000.
  18. D. Lewis (2000): Causation as Influence. The Journal of Philosophy 97(4), pp. 182–197, doi:10.2307/2678389.
  19. T. K Lu, A. S Khalil & J. J Collins (2009): Next-generation Synthetic Gene Networks. Nature Biotechnology 27(12), pp. 1139—-1150, doi:10.1038/nbt.1591.
  20. M. P. Pedersen (2009): Towards Programming Languages for Genetic Engineering of Living Cells. Journal of the Royal Society, Interface 6 Suppl 4, pp. S437–450, doi:10.1098/rsif.2008.0516.focus.
  21. C. Priami, A. Regev, E. Shapiro & W. Silverman (2001): Application of a Stochastic Name-passing Calculus to Representation and Simulation of Molecular Processes. Information Processing Letters 80(1), pp. 25–31, doi:10.1016/S0020-0190(01)00214-9.
  22. P. E M Purnick & R. Weiss (2009): The Second Wave of Synthetic Biology: From Modules to Systems.. Nature Reviews. Molecular Cell Biology 10(6), pp. 410–22, doi:10.1038/nrm2698.
  23. S. Regot, J. Macia, N. Conde, K. Furukawa, J. Kjellén, T. Peeters, S. Hohmann, E. de Nadal, F. Posas & R. Solé (2010): Distributed Biological Computation with Multicellular Engineered Networks. Nature, pp. 2–6, doi:10.1038/nature09679.
  24. D. E. Thomas & P. Moorby (1998): The Verilog Hardware Description Language. Kluwer Academic Publishers, doi:10.1007/978-1-4615-3992-6.
  25. P. Umesh, F. Naveen, C.U.M. Rao & S.A. Nair (2010): Programming Languages for Synthetic Biology. Systems and Synthetic Biology 4(4), pp. 265–269, doi:10.1007/s11693-011-9070-y.
  26. H. Ye, M. Daoud-El Baba, R-W. Peng & M. Fussenegger (2011): A Synthetic Optogenetic Transcription Device Enhances Blood-glucose Homeostasis in Mice.. Science (New York, N.Y.) 332(6037), pp. 1565–8, doi:10.1126/science.1203535.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org