High Level Concurrency in C∀