Paul Gastin

• CONCUR 2010 - Concurrency Theory