This is realised in a real language as occam. I've never understood why so few languages have a par construct, it's much more natural than asynchronous launching.