A Type System for Data-Centric Synchronization.

Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek

Browse the full ECOOP paper archive.