Concur 2000 11th International Conference on Concurrency Theory