The instance definition provides an event description for message inputs and message outputs, actions, shared and local conditions, timer, process creation, process stop. Outside of coregions a total ordering of events is assumed along each instance-axis. Within coregions no time ordering of events is assumed.