Beta-binders with Static Compartments

We investigate static hierarchies of biological systems through Beta-binders, a recently developed process calculus. We rely on a general interpretation of beta-processes as structured communicating objects. We extend the calculus with the notion of compartment. Objects can either be internal to compartments or reside on compartment borders. Movement in and out of compartments is requested by internal objects and mediated by border objects. We equip the extended calculus with the notion of locality and we define various kinds of relations between actions. Furthermore, we compare our proposal with similar formalisms and we show its application on a biological example. This is the preliminary version of a paper that was published in LNCS 4545:247-261, c2007 Springer-Verlag. The original publication is available at www.springerlink.co