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.com

Beta-binders with Static Compartments / Guerriero, Maria Luisa; Romanel, Alessandro; Priami, Corrado. - ELETTRONICO. - (2006), pp. 1-18.

Beta-binders with Static Compartments

Guerriero, Maria Luisa;Romanel, Alessandro;Priami, Corrado
2006-01-01

Abstract

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.com
2006
Trento
University of Trento Centre for Computational and Systems Biology
Beta-binders with Static Compartments / Guerriero, Maria Luisa; Romanel, Alessandro; Priami, Corrado. - ELETTRONICO. - (2006), pp. 1-18.
Guerriero, Maria Luisa; Romanel, Alessandro; Priami, Corrado
File in questo prodotto:
File Dimensione Formato  
TR-09-2006.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 369.41 kB
Formato Adobe PDF
369.41 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358711
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact