Next: Well-formedness – Valued Actions and Calls, Previous: Well-formedness – Mixing, Up: Well-formedness [Contents][Index]
A reply is required in the handling of a typed (i.e.
non-void) trigger. It is also required in case a trigger
(which in this case might be void) is used in blocking
mode; in that case the occurrence of the reply might be postponed. In
general this is hard to check statically. What can be checked is
described below.