A new type system for deadlock-free processes (2006)

by N Kobayashi
Venue:In CONCUR 2006 ⣓ Concurrency Theory