Structured Dagger Constructs
n atomic {code} Specifies that no
structured dagger constructs appear
inside of the code so it executes
atomically.
n overlap {code} Enables all of its
component constructs concurrently and
can execute these constructs in any
order.
n when <entrylist> {code} Specifies
dependencies between computation
and message arrival.