High-Concurrency Systems