Hernan Melgratti

• CONCUR 2013 -- Concurrency Theory