Separate names with a comma.
I'm having a pretty hard time trying to imagine this as Async. Consider all the instants and counters that could happen in a single turn.