Beta-binders for Biological Quantitative Experiments

Electronic Notes in Theoretical Computer Science

Volumn 164, Issue 3 SPEC. ISS., 2006, Pages 101-117

  Degano, P ^a   Prandi, D ^b   Priami, C ^b,c   Quaglia, P ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c MICROSOFT RESEARCH   (United States)

Author keywords

Quantitative analysis; Semantics; Systems Biology

Indexed keywords

CHEMICAL ANALYSIS; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; MOBILE TELECOMMUNICATION SYSTEMS; SEMANTICS;

BETA BINDERS; PROCESS CALCULI; SYNTAX; SYSTEMS BIOLOGY;

INFORMATION RETRIEVAL SYSTEMS;

EID: 33750084733     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.07.014     Document Type: Article

References (18)

1. Alberts B., Johnson A., Lewis J., Raff M., Roberts K., and Walter P. Molecular biology of the cell. (IV ed.) (2002), Garland science
2. Cardelli L. Brane Calculi. CMSB '04. LNBI volume 3082 (2005), Springer
3. Ciocchetta F., Priami C., and Quaglia P. Modelling Kohn Interaction Maps with Beta-binders: an example. Transactions on computational systems biology 3 (2005) 33-48
4. V. Danos and J. Krivine. Formal molecular biology done in CCS-R. In BioConcur '03, Workshop on Concurrent Models in Molecular Biology, 2003
5. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
6. Kitano H. Foundations of System Biology (2002), MIT Press
7. Kuntz I.D., Blaney J.M., Oatley J.S., Langridge R., and Ferrin T.E. A geometric approach to macromolecule-ligand interactions. J. of Molecular Biology 161 (1982) 269-288
8. C. Kuttler, J. Niehren, and R. Blossey. Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. In BioConcur '03, Workshop on Concurrent Models in Molecular Biology, 2003
9. Milner R. Communicating and mobile systems: the π-calculus (1999), Cambridge Universtity Press
10. A. Phillips and L. Cardelli. A Correct Abstract Machine for the Stochastic Pi-calculus. In BioConcur '04, Workshop on Concurrent Models in Molecular Biology, 2004
11. Priami C., and Quaglia P. Beta Binders for Biological Interactions. CMSB '04. LNBI volume 3082 (2005), Springer
12. Priami C., and Quaglia P. Operational patterns in beta-binders. Transactions on Computational Systems Biology. LNCS volume 3380 (2005), Springer
13. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 1 (2001) 25-31
14. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E. BioAmbients: An Abstraction for Biological Compartments. TCS 325 1 (2004) 141-167
15. Regev A., and Shapiro E. Cells as computations. Nature 419 (2002) 343
16. Sangiorgi D., and Walker D. The π-calculus: a Theory of Mobile Processes (2001), Cambridge Universtity Press
17. Stryer L. Biochemistry. (4th edition) (1995), W.H. Freeman & Company
18. Thorn M.B. Inhibition by malonate of succinic dehydrogenase in heart-muscle preparations. The Biochemical journal 54 4 (1953) 540-547