Abstract. The Systems Biology Markup Language (SBML) is an XMLbased exchange format for computational models of biochemical networks. SBML Level 2, whose definition was establishe...
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...