BetaWB: Modelling and simulating biological processes

Summer Computer Simulation Conference 2007, SCSC'07, Part of the 2007 Summer Simulation Multiconference, SummerSim'07

Volumn 2, Issue , 2007, Pages 777-784

  Dematté, Lorenzo ^a   Priami, Corrado ^a   Romanel, Alessandro ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Process calculi; Stochastic simulation; Systems biology

Indexed keywords

BIOLOGICAL INTERACTIONS; BIOLOGICAL PROCESS; GRAPHICAL TOOLS; MODEL DEVELOPMENT; MODELLING LANGUAGE; PROCESS CALCULI; STOCHASTIC SELECTION; STOCHASTIC SIMULATIONS; SYSTEMS BIOLOGY;

COMPUTER SIMULATION;

STOCHASTIC MODELS;

EID: 84870171606     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. L. Cardelli. Brane calculi. In V. Danos and V. Vincent Schächter, editors, Computational Methods in Systems Biology, International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, LNCS, pages 257-278. Springer, 2005.
2. P. Degano, D. Prandi, C. Priami, and P. Quaglia. Betabinders for biological quantitative experiments. In 4rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 06), 2006. to appear.
3. D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81(25):2340-2361, 1977.
4. 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.
5. C. Priami and P. Quaglia. Beta binders for biological interactions. In CMSB, pages 20-33, 2004.
6. C. Priami, A. Regev, E. Shapiro, and W. Silvermann. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett., 80(1):25-31, 2001.
7. A. Regev and E. Shapiro. Cells as computation. Nature, 2002.
8. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Proceedings of the Pacific Symposium of Biocomputing 2001, volume 6, pages 459-470, 2001.
9. A. Romanel, L. Dematté, and C. Priami. The Beta Workbench. Technical Report TR-3-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, February 2007.
10. V.Danos and C.Laneve. Formal molecular biology. Theor. Comput. Sci., 325(1):69-110, 2004.
11. V. Volterra. Variazioni e Fluttuazioni del Numero d'Individui in Specie Animali Conviventi, pages 1-110. Memorie dela R. Academia Nationale dei Lincei. 1926.