Strukturierte Gleichzeitigkeit beschreibt gleichzeitige Vorgänge innerhalb einer Lebensspanne, die auf einen bestimmten gleichzeitigen Befehl und auf den async-Kontextbereich beschränkt ist. Es handelt sich um einen strukturierten Kontrollfluss wie if, for oder return, der auf einen zugehörigen Bereich einschränkt.
Strukturierte Gleichzeitigkeitsausdrücke in Verse umfassen sync, race, rush und branch.