Toy language for a concurrency course