A bounded-optimistic, parallel beta-binders simulator

Proceedings - 12th 2008 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2008

Volumn , Issue , 2008, Pages 139-148

  Leye, Stefan ^a   Uhrmacher, Adelinde M ^a   Priami, Corrado ^b  

^a UNIVERSITY OF ROSTOCK   (Germany)

^b CoSBi ^*  (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CELL BIOLOGY; DYNAMIC STRUCTURE; LOGICAL PROCESS; PARALLEL AND DISTRIBUTED SIMULATION; PARALLEL SIMULATIONS; PARALLEL SYNCHRONIZATION; SIMULATION ENGINE; TREE STRUCTURES;

BINDERS; CYTOLOGY; DIELECTRIC RELAXATION;

SIMULATORS;

EID: 67649133582     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DS-RT.2008.32     Document Type: Conference Paper

References (26)

1. Anders Bloch, Bjørn Haagensen, Michael K. Høyer, and Steffen U. Knudsen. The StoPi-calculus and simulator - a stochastic pi-calculus and the implementation of a simulator. Technical report, University of Aalborg, 2003.
2. Luca Cardelli. Brane calculi - interactions of biological membranes. In Computational Methods in Systems Biology, pages 257-280. Springer, 2005.
3. Pierpaolo Degano, Davide Prandi, Corrado Priami, and Paola Quaglia. Beta-binders for biological quantitative experiments. Electronic Notes in Theoretical Computer Science, 164(3):101-117, October 2006. (Pubitemid 44584824)
4. Lorenzo Dematté, Corrado Priami, and Alessandro Romanel. The beta workbench: a computational tool to study the dynamics of biological systems. Briefings in Bioinformatics (to appear), 9, 2008.
5. Richard Fujimoto. Parallel and Distributed Simulation Systems. John Wiley & Sons, 2000.
6. Daniel T. Gillespie. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry, 81, 1977.
7. Rick S. Goh and Ian L. Thng. Mlist: An efficient pending event set structure for discrete event simulation. International Journal of Simulation - Systems, Science & Technology, 4(5-6):66-77, December 2003.
8. Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, and Adelinde M. Uhrmacher. Developing an hierarchical simulator for betabinders. In 20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06), pages 92-102, Los Alamitos, CA, USA, 2006. IEEE Computer Society. issn 1087-4097.
9. Jan Himmelspach and Adelinde M. Uhrmacher. The event queue problem and pdevs. In Proceedings of the SpringSim, pages 257-264. SCS, 2007.
10. Jan Himmelspach and Adelinde M. Uhrmacher. Plug'n simulate. In Proceedings of the 40th Annual Simulation Symposium, pages 137-143, 2007. (Pubitemid 47133092)
11. Mathias John, Roland Ewald, and Adelinde M. Uhrmacher. A spatial extension to the pi calculus. In Electronic Notes in Theoretical Computer Science, volume 194, pages 133-148, Amsterdam, The Netherlands, 2008. Elsevier Science Publishers B. V. (Pubitemid 351173027)
12. Boris. N. Kholodenko. Cell-signalling dynamics in time and space. Nature Reviews Molecular Cell Biology, 7(3):165-176, 2006.
13. Céline Kuttler, Cédric Lhoussaine, and Joachim Niehren. A stochastic pi calculus for concurrent objects. pages 232-246. 2007.
14. Stefan Leye, Jan Himmelspach, Roland Ewald, Mathias Jeschke, and Adelinde M. Uhrmacher. A grid inspired mechanism for coarse grained experiment execution. In 12th IEEE International Symposium on Distributed Simulation and Real Time Applications, 2008.
15. Robin Milner. The Polyadic pi-Calculus: A Tutorial, 1993.
16. Robin Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, June 1999.
17. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes part i and ii. Information and Computation, pages 1-40, 41-77, 1992.
18. Jayadev Misra. Distributed discrete event simulation. ACM Computing Surveys (CSUR), 18:39-65, 1986.
19. Andrew Phillips and Luca Cardelli. A correct abstract machine for the stochastic pi-calculus. Electronic Notes in Theoretical Computer Science, 2004.
20. Roldan Pozo and Bruce Miller. Java scimark: http://math.nist.gov/ scimark2/.
21. Corrado Priami. Stochastic fi-calculus. The Computer Journal, 38/7:578-589, 1995.
22. Corrado Priami and Paola Quaglia. Beta-binders for biological interactions. In Computational Methods in Systems Biology, 2004.
23. Corrado Priami and Alessandro Romanel. On the decidability and complexity of the structural congruence for beta-binders. Technical report, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, 2006.
24. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, and Ehud Shapiro. Bioambients: an abstraction for biological compartments. Theoretical Computer Science, 325(1):141-167, 2004.
25. Lisa M. Sokol and Brian K. Stucky. MTW: Experimental Results for a Constrained Optimistic Scheduling Paradigm. In David Nicol, editor, Distributed Simulation, volume 22 of Simulation, pages 169-173. Society for Computer Simulation (SCS), San Diego, CA, January 1990. (Pubitemid 20704615)
26. Bernard P. Zeigler, Dae H. Kim, and Alex C. H. Chow. Abstract simulator for the parallel devs-formalism. 1994.