DocumentCode
585638
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
fYear
2012
fDate
1-5 Oct. 2012
Firstpage
1
Lastpage
6
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing Congress (CCC), 2012 7th Colombian
Conference_Location
Medellin
Print_ISBN
978-1-4673-1475-6
Type
conf
DOI
10.1109/ColombianCC.2012.6398015
Filename
6398015
Link To Document