Subprojects with Mathias John
A Stochastic Model to study the Influence of the Cell Cycle on the β-catenin Dynamics in Neural Cell Populations
Keywords: ß-catenin, cell cycle, neural cell, imperative π-calculus, JAMES II
Constructing and Visualizing Reaction Networks from Pi-Calculus Models
Keywords: PiXplorer, π-calculus, reaction networks, simulation trajectories

