Data-centric concurrency control on the java programming language

The proposal intends to provide the programmer a set of unobtrusive data-centric constructs that will guarantee desirable security properties: composability, atomicity, and deadlock-freedom in all scenarios.