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

Publisher: Springer Science and Media

Volume 48, Number 2, 2011

Nonatomic dual bakery algorithm with bounded tokens
pp. 67-96(30)
Authors: Aravind, A. A.; Hesselink, W. H.


Testing for refinement in Circus
pp. 97-147(51)
Authors: Cavalcanti, A.; Gaudel, M. C.


  • 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
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