Contains LaTeX documents providing summaries of key aspects of the Concurrent Programming class 2013 at Saarland University