Volume 48, Issue 2 | Acta Informatica

Search all Acta Informatica articles

Volume 48, Issue 2

April 2011

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Nonatomic dual bakery algorithm with bounded tokens
Alex A. Aravind
Wim H. Hesselink
Original Article 16 February 2011 Pages: 67 - 96
Testing for refinement in Circus
Ana Cavalcanti
Marie-Claude Gaudel
Original Article 12 March 2011 Pages: 97 - 147