Atomic actions (1989)

by G Boudol
Venue:Bull. Eur. Ass. Theoret. Comput. Sci