CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings - Mario Bravetti, Gianluigi Zavattaro ((Lecture Notes in Computer Science))