Analysed is a mathematical model for HIV-1 infection with two delays accounting, respectively, for (i) a latent period between the time target cells are contacted by the virus particles and the time the virions enter the cells and (ii) a virus production period for new virions to be produced within and released from the infected cells. For this model, the basic reproduction number R0 is identified and its threshold property is discussed: the uninfected steady state is proved to be globally asymptotically stable if R0 < 1 and unstable if R0 > 1....
