A critical aspect in the modeling of biological systems is the description view point. On the one hand, the Stochastic π-calculus formalism provides an intuitive and compact representation from an internal perspective. On the other hand, other proposed languages such as Hybrid Automata and Stochastic Concurrent Constraint Programming introduce in the system description an external control and provide more structured models. This work aims at bridging the above discussed gap. In particular, we propose a different approach for the encoding of biological systems in Stochastic π-calculus in the direction of introducing an external control and comparing different formalisms. We show the effectiveness of our method on some examples.

External Control in Process Algebra for Systems Biology

PIAZZA, Carla
2009

Abstract

A critical aspect in the modeling of biological systems is the description view point. On the one hand, the Stochastic π-calculus formalism provides an intuitive and compact representation from an internal perspective. On the other hand, other proposed languages such as Hybrid Automata and Stochastic Concurrent Constraint Programming introduce in the system description an external control and provide more structured models. This work aims at bridging the above discussed gap. In particular, we propose a different approach for the encoding of biological systems in Stochastic π-calculus in the direction of introducing an external control and comparing different formalisms. We show the effectiveness of our method on some examples.
File in questo prodotto:
File Dimensione Formato  
Mec-BicDelTedescoPiazza.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 510.37 kB
Formato Adobe PDF
510.37 kB Adobe PDF Visualizza/Apri
1-s2.0-S1571066108005732-main.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Non pubblico
Dimensione 1.26 MB
Formato Adobe PDF
1.26 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/11390/864155
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact