The C11 and C++11 Concurrency Model (www.cs.kent.ac.uk)