Modeling the HIV life cycle using the NTCC calculus

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.