Parallel program control based on hierarchically detected consistent global states | IEEE Conference Publication | IEEE Xplore