Understanding Concurrency in Ada