DMCA

A hybrid type system for lock-freedom of mobile processes (2008)

by Naoki Kobayashi , Davide Sangiorgi
Citations:16 - 2 self