CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings - Paul Gastin, François Laroussinie ((Lecture Notes in Computer Science))