...
async [at (place)]
[ phased [(ph1<mode1>, ...)] ]
[ await (ddf1, ...) ]
[ seq (condition) ] Stmt
• Asynchronously start a new child task to execute Stmt
...
...
async [at (place)]
[ phased [(ph1<mode1>, ...)] ]
[ await (ddf1, ...) ]
[ seq (condition) ] Stmt
• Asynchronously start a new child task to execute Stmt
...