Randomized naming using wait-free shared variables Alessandro PanconesiMarina PapatriantafilouPaul Vitányi Pages: 113 - 124
Model checking for a probabilistic branching time logic with fairness Christel BaierMarta Kwiatkowska Pages: 125 - 155