Logical description of bovine herpesvirus type 1 latent infection

Description of the interactions between bovine herpesvirus type 1 (BHV-1) and cattle was performed by the method known as kinetic logic. This logical formalization uses variables with two possible values, 1 and 0, which tell whether an element is present or not at a significant level. To each variable is associated a function which tells if the element is being produced at a significant rate. The temporal relation between a variable and its associated function is given by specific time delays. The BHV-1 infection system is described by a set of five logical equations which tell in what conditions each function is on or off. The five functions are: V, development of viral multiplication; R, development of reactivation of the latent virus; A, development of an immune response; G, establishment of the viral genome; M, development of a memory of a first immune response. Several examples are detailed in a dynamic analysis, in connection with known experimental data.