Tekstiviesti: CONCUR 2010--concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 21-September 3, 2010 : proceedings / Paul Gastin, François Laroussinie (eds.).