Developing an hierarchical simulator for Beta-binders

Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS

Volumn 2006, Issue , 2006, Pages 92-100

  Himmelspach, Jan ^a   Lecca, Paola ^b   Prandi, Davide ^b   Priami, Corado ^b   Quaglia, Paola ^b   Uhrmacher, Adelinde ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CELLS; COMPUTER SIMULATION; IMMUNOLOGY; INTERFACES (COMPUTER); SEMANTICS; SIMULATORS;

BETA BINDERS; BIOPROCESSES; GIBSON-BRUCK METHOD; MIMIC BIOLOGICAL INTERFACES; OPERATIONAL SEMANTICS;

BILAMINATE MEMBRANES;

EID: 33751422004     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PADS.2006.19     Document Type: Conference Paper

References (23)

1. A. Bloch, M. Hoyer, and S. Knudsen. The stopi-calculus and simulator. http://www.cs.auc.dk?~steffen/dat4/stopi, 2003.
2. K. Burrage, P. Burrage, N. Hamilton, and T. Tian. Compute intensive simulations for cellular models. In A. Y. Zomaya, editor, Parallel Computation for Bioinformatics and Computational Biology. Wiley, 2005.
3. L. Cardelli. Brane Calculi. In Proc. of BIO-CONCUR'03, Electronic Notes in Theoretcial Computer Science. Elsevier, 2003.
4. V. Danos and S. Pradalier. Projective brane calculus. In Computational Methods in Systems Biology: International Conference CMSB 2004, volume 3082 of Lecture Notes in Computer Science, pages 134-148. Springer Verlag Heidelberg, 2004.
5. H. de Jong. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology, 9(1):67-103, 2002.
6. P. Degano, D. Prandi, C. Priami, and P. Quaglia. Betabinders for biological quantitative experiments. Submitted for publication, 2005.
7. D. Degenring, M. Röhl, and A. M. Uhrmacher. Discrete event, multi-level simulation of metabolite channeling. BioSystems, 75(1-3):29-41, 2004.
8. M. A. Gibson and J. Brack. EfficientExact Stochastic Simulation of Chemical Systems with Many Species and Many Channels. Journal of Physical Chemistry A, 104(9): 1876-1889, 2000.
9. D. T. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry B, 81(25):2340-2361, 1977.
10. J. Himmelspach and A. M. Uhrmacher. A component-based simulation layer for JAMES. In Proc. of the 18th Workshop on Parallel and Distributed Simulation (PADS), May 16-19, 2004, Kufstein, Austria, pages 115-122, 2004.
11. J. Himmelspach and A. M. Uhrmacher. Processing dynamic PDEVS models. In D. DeGroot and P. Harrison, editors, Proceedings of the 12th IEEE International Symposium on MASCOTS, pages 329-336, Volendam, The Netherlands, October 2004. IEEE Computer Society.
12. R. Hofestädt. Petri nets and the simulation of metabolic networks. In Silico Biology, 3, 2003.
13. P. Lecca, C. Priami, P. Quaglia, B. Rossi, C. Laudanna, and G. Constantin. Language Modelling and Simulation of Autoreactive Lymphocytes Recruitment in Inflamed Brain Vessels. SCS Simulation, 80:273-288, 2004.
14. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge Universtity Press, 1999.
15. A. Phillips and L. Cardelli. A correct abstract machine for the stochastic pi-calculus. In BioConcur 2004. Electronic Notes in Theoretical Computer Science, 2004.
16. C. Priami. Stochastic π-calculus. The Computer Journal, 38(6):578-589, 1995.
17. C. Priami and P. Quaglia. Beta binders for biological interactions. Transactions on Computationa Systems Biology, 2005.
18. C. Priami, A. Regev, E. Shapiro, and W. Silvermann. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
19. S. Ramsey, D. Oreell, and H. Bolouri. Dizzy: Stochastic simulation of large scale genetic regulatory networks. Journal of Bioinformatics and Computational Biology, 01(13), 2005.
20. A. Regev, E. Panina, W. Silverman, L. Cardelli, and E. Shapiro. BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science, 2004.
21. A. M. Uhrmacher and C. Priami. Discrete event systems specification in systems biology - a discussion of stochastic PI calculus and DEVS. In Proceedings of Winter Simulation Conference 2005, 2005.
22. K. Van Gend and K. U. STODE - Automatic Stochastic Simulation of Systems Described by [differential equations. In T.-M. Yi, M. Hucka, M. Morohasi, and H. Kitano, editors, Proceedings of the 2nd International Conference on Systems Biology, pages 326-333. Omnipress, Madison, USA, 2001.
23. B. Zeigler. Multifacetted Modelling and Discrete Event Simulation, Academic Press, London, 1984.