Concurrent programming for dummies ( and smart people too )

This work argues in favour of a declarative style of concurrency control in which programmers directly indicate the safety properties that they require, rather than how to enforce them, to be easier to use while also delivering higher performance.