Coregion

The total ordering of events along each instance in general may be not appropriate for entities referring to a higher level than SDL-processes.

Therefore a coregion is introduced for the specification of unordered events on an instance. Such a coregion in particular covers the practically important case of two or more incoming messages where the ordering of consumption may be interchanged.