Beta-binders with Static Compartments

Guerriero, Maria Luisa and Priami, Corrado and Romanel, Alessandro (2006) Beta-binders with Static Compartments. UNSPECIFIED.

Download (369Kb) | Preview


    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

    Item Type: Departmental Technical Report
    Department or Research center: CoSBi (Center for Computational and Systems Biology)
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Report Number: TR-09-2006
    Repository staff approval on: 30 Nov 2009

    Actions (login required)

    View Item