CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings - Gastin, Paul (Springer-Verlag Berlin Heidelberg, 2010)