Pure, typed actor-behavior primitives. A [Behavior] folds its associated
event protocol into exactly [Actions]: sends, fresh creations, and its
next behavior or termination. Higher capabilities are composed from these
explicit transition parts.
Pure, typed actor-behavior primitives. A [Behavior] folds its associated
event protocol into exactly [Actions]: sends, fresh creations, and its
next behavior or termination. Higher capabilities are composed from these
explicit transition parts.