Structured Concurrency in Robot Control