Concise definition of structured concurrency

Maybe it should be formulated in terms of ownership/RAII then? That each process has a parent process and has a lifetime which is bound to a scope in the parent process.

Which as a bonus, also makes it easy for exceptions to propagate to parent processes.