3.2. Behaviour Evaluation
MailboxActors.EvalStep selects the overall effect of a behaviour
on a given message. Two rules:
-
B-GuardStrategy (
MailboxActors.EvalStep.guardStrategy) — exactly one guarded action in the behaviour list has a matching guard; all others producenoop. The matching action's effect becomes the behaviour's effect. -
B-AllGuardsFail (
MailboxActors.EvalStep.allGuardsFail) — every guarded action in the behaviour list fails its guard, so the behaviour producesnoop.