CONCUR 2009 Concurrency Theory Lecture Notes in Computer Science | lit.salon