CONCUR
International Conference on Concurrency Theory