CONCUR 2000 — Concurrency Theory