Title :
Modeling the HIV life cycle using the NTCC calculus
Author :
Micheli, G.C. ; Díaz, Juan Francisco ; Bueno, Jesus Aranda
Author_Institution :
Univ. del Valle, Cali, Colombia
Abstract :
This paper shows how to use the ntcc calculus constructors to model binder-receptor biological systems, it is shown by building an ntcc model for the HIV life cycle. In order to make the model more accurate, we also tackle the problem of using the parallel ntcc operator with reactions that share a same type of molecule in the same time unit.
Keywords :
biology computing; calculus; cellular biophysics; concurrency control; constraint handling; microorganisms; parallel programming; HIV life cycle modeling; NTCC calculus; NTCC model; binder-receptor biological systems; human immunodeficiency virus; nondeterministic concurrent constraint calculus; parallel NTCC operator; Biological system modeling; Calculus; Human immunodeficiency virus; Process control; Proteins; RNA; Computation theory; HIV cycle; bioinformatics; constraints; ntcc calculus; process calculi; proteins;
Conference_Titel :
Computing Congress (CCC), 2012 7th Colombian
Conference_Location :
Medellin
Print_ISBN :
978-1-4673-1475-6
DOI :
10.1109/ColombianCC.2012.6398015
