Ariadne sets a consistent global breakpoint

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. To stop the computation after the abstract event, the other processes are stopped immediately after the latest event that could affect the abstract event . The ovals show where the computation is halted in each process to form a consistent global breakpoint.