Leye, Stefan and Priami, Corrado and Uhrmacher, Adelinde M. (2007) A Parallel Beta-binders Simulator. Technical Report. The Microsoft Research - University of Trento, Centre for Computational and Systems Biology.
Full text not available from this repository.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 e fficient 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 π-Calculus and Beta-binders processes and the algorithm of the simulator which enables a distributed and optimistic, parallel execution.
Item Type: | Monograph (Technical Report) |
---|