A Parallel Beta-binders Simulator

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.
Official URL: http://eprints.biblio.unitn.it/1721/1/TR-17-2007.p...


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)