A type system for lock-free processes (2002)

by N Kobayashi
Venue:Inform. Comput