A type system for lock-free processes (0)

by N Kobayashi
Venue:Information and Computation