Proposed resolution for issue 114:
(1) Add text to the specification that clarifies the semantics in presence
of multiple correlation sets:
<clarification>
If multiple correlation sets with initiate="no" are used in a receive,
pick/onMessage, or eventHandler/onEvent, then they must all match a
message for that message to be delivered to the activity in the given
process instance.
</clarification>
(2) Ignore all references to EPRs in this issue and revisit that when 34 is
resolved.
Kind Regards
DK