Skip to Main content Skip to Navigation
Conference papers

Modelando Sistemas de Membranas en ntcc

Angela Villota 1 Jesus Aranda 1, 2, * Diaz Juan Francisco 1
* Corresponding author
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : The ntcc calculus has been proposed as a formalism for modeling concurrent systems such as biological systems. In this paper we explore the expresiveness of the ntcc calculus for modeling, simulating and analyzing biological systems. A legitimate question is therefore: Is it possible to model membrane systems with ntcc? In this paper as our main contribution to the solution of this question, we propose a general mechanism for modeling membrane systems in ntcc. The application of that mechanism is illustrated with a model for the LDL cholesterol degradation pathway using membrane systems defined in ntcc.
Complete list of metadata

https://hal.inria.fr/inria-00430537
Contributor : Jesus Aranda <>
Submitted on : Monday, November 9, 2009 - 11:04:12 AM
Last modification on : Thursday, March 5, 2020 - 6:21:50 PM
Long-term archiving on: : Thursday, June 17, 2010 - 5:49:15 PM

File

MembranasNtcc.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00430537, version 1

Collections

Citation

Angela Villota, Jesus Aranda, Diaz Juan Francisco. Modelando Sistemas de Membranas en ntcc. XXXV Latin American Informatics Conference, Sep 2009, Pelotas, Brazil. ⟨inria-00430537⟩

Share

Metrics

Record views

652

Files downloads

334