Vitalsource Technologies, Inc. Concur 2011 -- Concurrency Theory