technical report A Parallel Beta-binders Simulator


Abstract

Beta-binders is a comparatively new modeling formalism introduced for systems biology. To execute Beta-binders models, suitable simulators are required which translate the operational semantics of Beta-binders into a sound and efficent execution. Efficiency can be reached by parallel and distributed simulation and by a proper representation of models to ensure a fast manipulation. Both possibilities are considered in the implementation of the described hierarchical Beta-binders simulator. The description includes a tree structure which reflects p-calculus and Beta-binders processes and the algorithm of the simulator which enables a distributed and optimistic, parallel execution.



Paper Details

Authors

S. Leye,  C. Priami,  A. Uhrmacher

Download

/var/papers/TR/TR-17-2007.pdf

Language

English
.