Refinement of actions and equivalence notions for concurrent systems Rob van GlabbeekUrsula Goltz Original articles Pages: 229 - 327
Demonic, angelic and unbounded probabilistic choices in sequential programs A.K. McIverC. Morgan Original articles Pages: 329 - 354
Analysis of range search for random k-d trees Philippe ChanzyLuc DevroyeCarlos Zamora-Cura Original articles Pages: 355 - 383