Ownership types for object synchronisation (2012)

by Y Lu, J Potter, J Xue
Venue:In APLAS