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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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
Contributor : Jesus Aranda Connect in order to contact the contributor
Submitted on : Monday, November 9, 2009 - 11:04:12 AM
Last modification on : Thursday, January 20, 2022 - 5:30:31 PM
Long-term archiving on: : Thursday, June 17, 2010 - 5:49:15 PM


Files produced by the author(s)


  • HAL Id : inria-00430537, version 1



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



Record views


Files downloads