Skip to main content

Acta Informatica

Ausgabe 2/2011

Inhalt (2 Artikel)

Original Article

Nonatomic dual bakery algorithm with bounded tokens

Alex A. Aravind, Wim H. Hesselink

Original Article

Testing for refinement in Circus

Ana Cavalcanti, Marie-Claude Gaudel