technical report 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.

Paper Details


M. Guerriero,  C. Priami,  A. Romanel