LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 4-6 of 486
-
An Autoimmune Mechanism for AIDS' T4 Lymphopenia
(1991-05)We put forward a new model for the T4 lymphopenia occuring in AIDS by suggesting a mechanism whose net effect is blocking the generation of T4 cells during HIV infection. Supporting evidence for this mechanism is derived ... -
A Modular Drinking Philosophers Algorithm
(1992-10)A variant of the drinking philosphers algorithm of Chandy and Misra is described and proved correct in a module way, using the I/O automaton model of Lynch and Tuttle. The algorithm of Chandy and Misra is based on an ...