break after (select);Ariadne then sets a globally consistent breakpoint after the specified event. Each process is stopped immediately after the last event that could have affected the specified event, as shown in the following diagram: Horizontal lines represent processes. Message communication is shown by arrows and internal user events are represented by red boxes. The abstract event shown in dashed lines is composed of three user events. The ovals show where the computation is halted in each process to form a consistent global breakpoint.