How to Specify the Flow of Data Accessibility : An OO Way of Concurrent Programming

This work proposes to explicitly specify the flow of data accessibility in a program, sufficient for a compiler to automatically spawn threads and add synchronization as necessary.