Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 37, Number 4, 2001

Refinement of actions and equivalence notions for concurrent systems
pp. 229-328(100)
Authors: van Glabbeek, R.; Goltz, U.

Favourites:
ADD

Demonic, angelic and unbounded probabilistic choices in sequential programs
pp. 329-354(26)
Authors: McIver, A. K.; Morgan, C.

Favourites:
ADD

Analysis of range search for random k-d trees
pp. 355-383(29)
Authors: Chanzy, P.; Devroye, L.; Zamora-Cura, C.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more