Concurrency in Low-Level Design