Assume you are rolling a dice over and over again. How long to expect until it shows “6” for the first time? More generally, we observe a random process that is either “successful” or “not successful” in every round. All rounds are independent and in each we get the outcome “successful” with probability p. Let T denote the random variable indicating the number of rounds it takes until we see “s...

the susceptibility of various strains of mice to infection by leishmania tropica (major) was recently studied in this laboratory. the infection in a/j, c3h, cba, akr/j, akr/cu, and c57b1 mice (the semi resistant strains) remained cutaneous and the animals recovered within 4-6 months. however balb/c mice developed generalized infection after two months of exposure resulting in death 3-4 months l...

Michael Fischer has proposed a mutual exclusion algorithm that ingeniously exploits real time. We prove this algorithm using the time-honored technique of establishing an appropriate invariant.